public interface EditorGutter
Editor.getGutter()| Modifier and Type | Field and Description | 
|---|---|
| static DataKey<EditorGutter> | KEY | 
| Modifier and Type | Method and Description | 
|---|---|
| void | closeAllAnnotations()Removes all text annotations from the gutter. | 
| void | closeTextAnnotations(java.util.Collection<? extends TextAnnotationGutterProvider> annotations) | 
| java.util.List<TextAnnotationGutterProvider> | getTextAnnotations() | 
| boolean | isAnnotationsShown() | 
| void | registerTextAnnotation(TextAnnotationGutterProvider provider)Adds a provider for drawing custom text annotations in the editor gutter. | 
| void | registerTextAnnotation(TextAnnotationGutterProvider provider,
                      EditorGutterAction action)Adds a provider for drawing custom text annotations in the editor gutter, with the
 possibility to execute an action when the annotation is clicked. | 
| default void | setLineNumberConverter(LineNumberConverter converter)Changes the display of line numbers in gutter. | 
| void | setLineNumberConverter(LineNumberConverter primaryConverter,
                      LineNumberConverter additionalConverter)Changes the display of line numbers in gutter | 
static final DataKey<EditorGutter> KEY
void registerTextAnnotation(TextAnnotationGutterProvider provider)
provider - the provider instance.void registerTextAnnotation(TextAnnotationGutterProvider provider, EditorGutterAction action)
provider - the provider instance.action - the action to execute when the annotation is clicked.boolean isAnnotationsShown()
java.util.List<TextAnnotationGutterProvider> getTextAnnotations()
void closeAllAnnotations()
void closeTextAnnotations(java.util.Collection<? extends TextAnnotationGutterProvider> annotations)
default void setLineNumberConverter(LineNumberConverter converter)
void setLineNumberConverter(LineNumberConverter primaryConverter, LineNumberConverter additionalConverter)
primaryConverter - converter for primary line number shown in gutteradditionalConverter - if not null, defines an additional column of numbers to be displayed in gutter