|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TextAreaPainter.Highlight | |
org.syntax.jedit |
Uses of TextAreaPainter.Highlight in org.syntax.jedit |
Fields in org.syntax.jedit declared as TextAreaPainter.Highlight | |
protected TextAreaPainter.Highlight |
TextAreaPainter.highlights
|
Methods in org.syntax.jedit with parameters of type TextAreaPainter.Highlight | |
void |
TextAreaPainter.addCustomHighlight(TextAreaPainter.Highlight highlight)
Adds a custom highlight painter. |
void |
TextAreaPainter.Highlight.init(JEditTextArea textArea,
TextAreaPainter.Highlight next)
Called after the highlight painter has been added. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |