org.rosuda.JGR.editor
Class EditorPreferences
java.lang.Object
org.rosuda.JGR.editor.EditorPreferences
public class EditorPreferences
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NUMBER
public static final javax.swing.text.MutableAttributeSet NUMBER
OBJECT
public static final javax.swing.text.MutableAttributeSet OBJECT
KEYWORD
public static final javax.swing.text.MutableAttributeSet KEYWORD
KEYWORDS_OBJECTS
public static final java.util.HashMap KEYWORDS_OBJECTS
tabWidth
public static int tabWidth
SINGLELINECOMMENT
public static final java.lang.String SINGLELINECOMMENT
- See Also:
- Constant Field Values
KEYWORDS
public static final java.util.HashMap KEYWORDS
QUOTESTRING
public static final java.lang.String QUOTESTRING
- See Also:
- Constant Field Values
DELIMITERS
public static final java.lang.String DELIMITERS
- See Also:
- Constant Field Values
NORMAL
public static final javax.swing.text.MutableAttributeSet NORMAL
COMMENT
public static final javax.swing.text.MutableAttributeSet COMMENT
QUOTE
public static final javax.swing.text.MutableAttributeSet QUOTE
EditorPreferences
public EditorPreferences()
initialize
public static void initialize()