| |
|
| java.lang.Object org.syntax.jedit.TextAreaDefaults
TextAreaDefaults | public class TextAreaDefaults (Code) | | 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.
|
blockCaret | public boolean blockCaret(Code) | | |
bracketHighlight | public boolean bracketHighlight(Code) | | |
bracketHighlightColor | public Color bracketHighlightColor(Code) | | |
caretBlinks | public boolean caretBlinks(Code) | | |
caretVisible | public boolean caretVisible(Code) | | |
editable | public boolean editable(Code) | | |
electricScroll | public int electricScroll(Code) | | |
eolMarkers | public boolean eolMarkers(Code) | | |
lineHighlight | public boolean lineHighlight(Code) | | |
lineHighlightColor | public Color lineHighlightColor(Code) | | |
paintInvalid | public boolean paintInvalid(Code) | | |
getDefaults | public static TextAreaDefaults getDefaults()(Code) | | Returns a new TextAreaDefaults object with the default values filled
in.
|
|
|
|