Uses of Interface
alice.util.jedit.TextAreaPainter.Highlight

Packages that use TextAreaPainter.Highlight

Package	Description
alice.util.jedit

Uses of TextAreaPainter.Highlight in alice.util.jedit

Fields in alice.util.jedit declared as TextAreaPainter.Highlight

Modifier and Type	Field and Description
protected TextAreaPainter.Highlight	TextAreaPainter.highlights

Methods in alice.util.jedit with parameters of type TextAreaPainter.Highlight

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.