- Name in Remix:
editor - kind:
editor
| Type | Name | Description |
|---|---|---|
| method | highlight |
Highlight a piece of code in the editor. |
| method | discardHighlight |
Remove the highlight triggered by this plugin. |
| method | discardHighlightAt |
Remove the highlight triggered by this plugin |
| method | addAnnotation |
Add annotation ( info, warning, error ) at a line, column position with a text |
| method | clearAnnotations |
Method Definitions can be found here
Type Definitions can be found here