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) voidchangeHighlight(Object tag, int p0, int p1) voidvoidvoidvoidvoidpaintScreenLineRange(Graphics2D gfx, int firstLine, int lastLine, int[] physicalLines, int[] start, int[] end, int y, int lineHeight) Paints a range of screen lines.voidvoidremoveHighlight(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:
installin interfaceHighlighter
-
install
-
deinstall
- Specified by:
deinstallin interfaceHighlighter
-
paint
- Specified by:
paintin interfaceHighlighter
-
addHighlight
public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter p) throws BadLocationException - Specified by:
addHighlightin interfaceHighlighter- Throws:
BadLocationException
-
removeHighlight
- Specified by:
removeHighlightin interfaceHighlighter
-
removeAllHighlights
public void removeAllHighlights()- Specified by:
removeAllHighlightsin interfaceHighlighter
-
changeHighlight
- Specified by:
changeHighlightin interfaceHighlighter- Throws:
BadLocationException
-
getHighlights
- Specified by:
getHighlightsin 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:TextAreaExtensionPaints a range of screen lines. The default implementation callsTextAreaExtension.paintValidLine(Graphics2D,int,int,int,int,int)andTextAreaExtension.paintInvalidLine(Graphics2D,int,int).- Overrides:
paintScreenLineRangein 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
-