Class LineHeaderAnnotation
java.lang.Object
org.eclipse.jface.text.source.Annotation
org.eclipse.jface.text.source.inlined.AbstractInlinedAnnotation
org.eclipse.jface.text.source.inlined.LineHeaderAnnotation
Inlined annotation which is drawn before a line and which takes some place with a given height.
- Since:
- 3.13
-
Field Summary
Fields inherited from class org.eclipse.jface.text.source.inlined.AbstractInlinedAnnotation
TYPEFields inherited from class org.eclipse.jface.text.source.Annotation
TYPE_UNKNOWN -
Constructor Summary
ConstructorsConstructorDescriptionLineHeaderAnnotation(Position position, ISourceViewer viewer) Line header annotation constructor.LineHeaderAnnotation(Position position, ISourceViewer viewer, Consumer<MouseEvent> onMouseHover, Consumer<MouseEvent> onMouseOut, Consumer<MouseEvent> onMouseMove) Line header annotation constructor. -
Method Summary
Methods inherited from class org.eclipse.jface.text.source.inlined.AbstractInlinedAnnotation
draw, getAction, getPosition, getTextWidget, getViewer, isInVisibleLines, isInVisibleLines, onMouseHover, onMouseMove, onMouseOut, redrawMethods inherited from class org.eclipse.jface.text.source.Annotation
getText, getType, isMarkedDeleted, isPersistent, markDeleted, setText, setType
-
Constructor Details
-
LineHeaderAnnotation
Line header annotation constructor.- Parameters:
position- the position where the annotation must be drawn.viewer- theISourceViewerwhere the annotation must be drawn.
-
LineHeaderAnnotation
public LineHeaderAnnotation(Position position, ISourceViewer viewer, Consumer<MouseEvent> onMouseHover, Consumer<MouseEvent> onMouseOut, Consumer<MouseEvent> onMouseMove) Line header annotation constructor.- Parameters:
position- the position where the annotation must be drawn.viewer- theISourceViewerwhere the annotation must be drawn.onMouseHover- the consumer to be called on mouse hover. If set, the implementor needs to take care of setting the cursor if wanted.onMouseOut- the consumer to be called on mouse out. If set, the implementor needs to take care of resetting the cursor.onMouseMove- the consumer to be called on mouse move- Since:
- 3.27
-
-
Method Details
-
getHeight
public int getHeight()Returns the annotation height. By default, returns theStyledText.getLineHeight().- Returns:
- the annotation height.
-