java.lang.Object
org.gjt.sp.jedit.textarea.TextAreaExtension
de.grogra.ext.jedit.OverlySimpleHighlighter
- All Implemented Interfaces:
Highlighter
A simple highlighter that can be used by the autocompletor
-
Nested Class Summary
Nested classes/interfaces inherited from interface javax.swing.text.Highlighter
Highlighter.Highlight, Highlighter.HighlightPainter
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionaddHighlight
(int p0, int p1, Highlighter.HighlightPainter p) void
changeHighlight
(Object tag, int p0, int p1) void
void
void
void
void
paintScreenLineRange
(Graphics2D gfx, int firstLine, int lastLine, int[] physicalLines, int[] start, int[] end, int y, int lineHeight) Paints a range of screen lines.void
void
removeHighlight
(Object tag) Methods inherited from class org.gjt.sp.jedit.textarea.TextAreaExtension
getToolTipText, paintInvalidLine, paintValidLine
-
Field Details
-
MAX_LINE_LENGTH
public static final int MAX_LINE_LENGTH- See Also:
-
-
Constructor Details
-
OverlySimpleHighlighter
public OverlySimpleHighlighter()
-
-
Method Details
-
install
- Specified by:
install
in interfaceHighlighter
-
install
-
deinstall
- Specified by:
deinstall
in interfaceHighlighter
-
paint
- Specified by:
paint
in interfaceHighlighter
-
addHighlight
public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter p) throws BadLocationException - Specified by:
addHighlight
in interfaceHighlighter
- Throws:
BadLocationException
-
removeHighlight
- Specified by:
removeHighlight
in interfaceHighlighter
-
removeAllHighlights
public void removeAllHighlights()- Specified by:
removeAllHighlights
in interfaceHighlighter
-
changeHighlight
- Specified by:
changeHighlight
in interfaceHighlighter
- Throws:
BadLocationException
-
getHighlights
- Specified by:
getHighlights
in interfaceHighlighter
-
paintScreenLineRange
public void paintScreenLineRange(Graphics2D gfx, int firstLine, int lastLine, int[] physicalLines, int[] start, int[] end, int y, int lineHeight) Description copied from class:TextAreaExtension
Paints a range of screen lines. The default implementation callsTextAreaExtension.paintValidLine(Graphics2D,int,int,int,int,int)
andTextAreaExtension.paintInvalidLine(Graphics2D,int,int)
.- Overrides:
paintScreenLineRange
in classTextAreaExtension
- Parameters:
gfx
- A graphics contextfirstLine
- The first screen linelastLine
- The last screen linephysicalLines
- The list of physical line numbers. Entries are -1 if the screen line is out of range.start
- An array of screen line start offsets.end
- An array of screen line end offsetsy
- The y co-ordinatelineHeight
- The line height
-