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
TYPE
Fields inherited from class org.eclipse.jface.text.source.Annotation
TYPE_UNKNOWN
-
Constructor Summary
ConstructorDescriptionLineHeaderAnnotation
(Position position, ISourceViewer viewer) 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, onMouseOut, redraw
Methods 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
- theISourceViewer
where the annotation must be drawn.
-
-
Method Details
-
getHeight
public int getHeight()Returns the annotation height. By default, returns theStyledText.getLineHeight()
.- Returns:
- the annotation height.
-