|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TextAreaDefaults | |
org.syntax.jedit |
Uses of TextAreaDefaults in org.syntax.jedit |
Fields in org.syntax.jedit declared as TextAreaDefaults | |
static TextAreaDefaults |
TextAreaDefaults.DEFAULTS
|
Methods in org.syntax.jedit that return TextAreaDefaults | |
static TextAreaDefaults |
TextAreaDefaults.getDefaults()
Returns a new TextAreaDefaults object with the default values filled in. |
Constructors in org.syntax.jedit with parameters of type TextAreaDefaults | |
TextAreaPainter(JEditTextArea textArea,
TextAreaDefaults defaults)
Creates a new repaint manager. |
|
JEditTextArea(TextAreaDefaults defaults)
Creates a new JEditTextArea with the specified settings. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |