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