Package | Description |
---|---|
org.jeditor.gui |
The presentation package for managing scripts presentation and modification.
|
Modifier and Type | Field and Description |
---|---|
protected CodeEditorPainter.Highlight |
CodeEditorPainter.highlights |
Modifier and Type | Method and Description |
---|---|
void |
CodeEditorPainter.addCustomHighlight(CodeEditorPainter.Highlight highlight)
Adds a custom highlight painter.
|
void |
CodeEditorPainter.Highlight.init(JEditor editor,
CodeEditorPainter.Highlight next)
Called after the highlight painter has been added.
|
Copyright © 2016, 2017, 2018, 2019, 2023 Herve Girod. All Rights Reserved. Documentation and source under the MIT licence