|
|||||||||
| Home >> All >> com >> memoire >> [ jedit overview ] | PREV NEXT | ||||||||
Uses of Class
com.memoire.jedit.JEditTextAreaDefaults
| Uses of JEditTextAreaDefaults in com.memoire.jedit |
| Fields in com.memoire.jedit declared as JEditTextAreaDefaults | |
private static JEditTextAreaDefaults |
JEditTextAreaDefaults.DEFAULTS
|
| Methods in com.memoire.jedit that return JEditTextAreaDefaults | |
static JEditTextAreaDefaults |
JEditTextAreaDefaults.getDefaults()
Returns a new JEditTextAreaDefaults object with the default values filled in. |
| Constructors in com.memoire.jedit with parameters of type JEditTextAreaDefaults | |
JEditTextArea(JEditTextAreaDefaults defaults)
Creates a new JEditTextArea with the specified settings. |
|
JEditTextAreaPainter(JEditTextArea textArea,
JEditTextAreaDefaults defaults)
Creates a new repaint manager. |
|
|
|||||||||
| Home >> All >> com >> memoire >> [ jedit overview ] | PREV NEXT | ||||||||