Package editor
Class EditorHostTextPane.GosuHighlighter
java.lang.Object
javax.swing.text.LayeredHighlighter
editor.EditorHostTextPane.GosuHighlighter
- All Implemented Interfaces:
Highlighter
- Enclosing class:
- EditorHostTextPane
Override the default highlighter to render line breakpoints. Adding normal
highlight painters for these is otherwise rather clumsy e.g., have to move
them when text changes, recreate them after closing and reopening views, etc.
-
Nested Class Summary
Nested classes/interfaces inherited from class javax.swing.text.LayeredHighlighter
LayeredHighlighter.LayerPainter
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
paintLayeredHighlights
(Graphics g, int p0, int p1, Shape viewBounds, JTextComponent editor, View view) void
void
removeHighlight
(Object tag)
-
Field Details
-
_highlighter
-
-
Constructor Details
-
GosuHighlighter
-
-
Method Details
-
install
-
deinstall
-
paint
-
paintLayeredHighlights
public void paintLayeredHighlights(Graphics g, int p0, int p1, Shape viewBounds, JTextComponent editor, View view) - Specified by:
paintLayeredHighlights
in classLayeredHighlighter
-
addHighlight
public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter p) throws BadLocationException - Throws:
BadLocationException
-
removeHighlight
-
removeAllHighlights
public void removeAllHighlights() -
changeHighlight
- Throws:
BadLocationException
-
getHighlights
-