public interface TextAnnotationGutterProvider
Modifier and Type | Method and Description |
---|---|
java.awt.Color |
getBgColor(int line,
Editor editor)
Returns the background color for the text
|
ColorKey |
getColor(int line,
Editor editor) |
java.lang.String |
getLineText(int line,
Editor editor)
Returns the text which should be drawn for the line with the specified number in the specified editor.
|
java.util.List<AnAction> |
getPopupActions(int line,
Editor editor)
enables annotation view modifications
|
EditorFontType |
getStyle(int line,
Editor editor) |
java.lang.String |
getToolTip(int line,
Editor editor) |
void |
gutterClosed()
Called when the annotations are removed from the editor gutter.
|
default boolean |
useMargin()
If
true , a couple of pixels will be added at both sides of displayed text (if it's not empty),
otherwise the width of annotation will be equal to the width of provided text. |
java.lang.String getLineText(int line, Editor editor)
line
- the line for which the text is requested.editor
- the editor in which the text will be drawn.java.lang.String getToolTip(int line, Editor editor)
EditorFontType getStyle(int line, Editor editor)
java.awt.Color getBgColor(int line, Editor editor)
line
- the line for which the background color is requested.editor
- the editor in which the text will be drawn.java.util.List<AnAction> getPopupActions(int line, Editor editor)
void gutterClosed()
EditorGutter.closeAllAnnotations()
default boolean useMargin()
true
, a couple of pixels will be added at both sides of displayed text (if it's not empty),
otherwise the width of annotation will be equal to the width of provided text.