Package | Description |
---|---|
org.syntax.jedit |
JEditTextArea classes
|
Modifier and Type | Field and Description |
---|---|
protected JEditTextArea |
TextAreaPainter.textArea |
Modifier and Type | Field and Description |
---|---|
protected static WeakReference<JEditTextArea> |
JEditTextArea.focusedComponentRef |
Modifier and Type | Method and Description |
---|---|
static JEditTextArea |
InputHandler.getTextArea(EventObject evt)
Returns the text area that fired the specified event.
|
Modifier and Type | Method and Description |
---|---|
void |
TextAreaPainter.Highlight.init(JEditTextArea textArea,
TextAreaPainter.Highlight next)
Called after the highlight painter has been added.
|
Constructor and Description |
---|
TextAreaPainter(JEditTextArea textArea,
TextAreaDefaults defaults)
Creates a new repaint manager.
|
Copyright © 2019. All Rights Reserved.