java.lang.Object
com.memoire.jedit.JEditTextAreaDefaults
- public class JEditTextAreaDefaults
- extends java.lang.Object
Encapsulates default settings for a text area. This can be passed
to the constructor once the necessary fields have been filled out.
The advantage of doing this over calling lots of set() methods after
creating the text area is that this method is faster.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DEFAULTS
private static JEditTextAreaDefaults DEFAULTS
inputHandler
public JEditInputHandler inputHandler
document
public JEditSyntaxDocument document
editable
public boolean editable
caretVisible
public boolean caretVisible
caretBlinks
public boolean caretBlinks
blockCaret
public boolean blockCaret
electricScroll
public int electricScroll
cols
public int cols
rows
public int rows
styles
public JEditSyntaxStyle[] styles
caretColor
public java.awt.Color caretColor
selectionColor
public java.awt.Color selectionColor
lineHighlightColor
public java.awt.Color lineHighlightColor
lineHighlight
public boolean lineHighlight
bracketHighlightColor
public java.awt.Color bracketHighlightColor
bracketHighlight
public boolean bracketHighlight
eolMarkerColor
public java.awt.Color eolMarkerColor
eolMarkers
public boolean eolMarkers
popup
public javax.swing.JPopupMenu popup
JEditTextAreaDefaults
public JEditTextAreaDefaults()
getDefaults
public static JEditTextAreaDefaults getDefaults()
- Returns a new JEditTextAreaDefaults object with the default values filled
in.