Package | Description |
---|---|
org.syntax.jedit |
JEditTextArea classes
|
Modifier and Type | Field and Description |
---|---|
protected TextAreaPainter.Highlight |
TextAreaPainter.highlights |
Modifier and Type | Method and Description |
---|---|
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.
|
Copyright © 2019. All Rights Reserved.