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