[Pydev-cvs] org.python.pydev/src/org/python/pydev/plugin PydevPrefs.java,1.9,1.10
Brought to you by:
fabioz
From: Fabio Z. <fa...@us...> - 2004-07-19 19:51:08
|
Update of /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7451/src/org/python/pydev/plugin Modified Files: PydevPrefs.java Log Message: Code folding finished. Index: PydevPrefs.java =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin/PydevPrefs.java,v retrieving revision 1.9 retrieving revision 1.10 diff -C2 -d -r1.9 -r1.10 *** PydevPrefs.java 2 Jul 2004 02:50:38 -0000 1.9 --- PydevPrefs.java 19 Jul 2004 19:50:57 -0000 1.10 *************** *** 35,56 **** public static final String SUBSTITUTE_TABS = "SUBSTITUTE_TABS"; public static final boolean DEFAULT_SUBSTITUTE_TABS = true; public static final String GUESS_TAB_SUBSTITUTION = "GUESS_TAB_SUBSTITUTION"; public static final boolean DEFAULT_GUESS_TAB_SUBSTITUTION = true; public static final String TAB_WIDTH = "TAB_WIDTH"; public static final int DEFAULT_TAB_WIDTH = 4; public static final String CODE_COLOR = "CODE_COLOR"; private static final RGB DEFAULT_CODE_COLOR = new RGB(0, 0, 0); public static final String KEYWORD_COLOR = "KEYWORD_COLOR"; private static final RGB DEFAULT_KEYWORD_COLOR = new RGB(255, 119, 0); public static final String STRING_COLOR = "STRING_COLOR"; private static final RGB DEFAULT_STRING_COLOR = new RGB(0, 170, 0); public static final String COMMENT_COLOR = "COMMENT_COLOR"; private static final RGB DEFAULT_COMMENT_COLOR = new RGB(221, 0, 0); public static final String INTERPRETER_PATH = "INTERPRETER_PATH"; protected static final String DEFAULT_INTERPRETER_PATH = "python"; public static final String HYPERLINK_COLOR = "HYPERLINK_COLOR"; private static final RGB DEFAULT_HYPERLINK_COLOR = new RGB(0, 0, 238); public static final String BLOCK_COMMENT = "BLOCK_COMMENT"; ! public static final String DEFAULT_BLOCK_COMMENT_STRING = "======================================="; public static final boolean DEFAULT_BLOCK_COMMENT = true; --- 35,68 ---- public static final String SUBSTITUTE_TABS = "SUBSTITUTE_TABS"; public static final boolean DEFAULT_SUBSTITUTE_TABS = true; + + public static final String USE_CODE_FOLDING = "USE_CODE_FOLDING"; + public static final boolean DEFAULT_USE_CODE_FOLDING = true; + public static final String GUESS_TAB_SUBSTITUTION = "GUESS_TAB_SUBSTITUTION"; public static final boolean DEFAULT_GUESS_TAB_SUBSTITUTION = true; + public static final String TAB_WIDTH = "TAB_WIDTH"; public static final int DEFAULT_TAB_WIDTH = 4; + public static final String CODE_COLOR = "CODE_COLOR"; private static final RGB DEFAULT_CODE_COLOR = new RGB(0, 0, 0); + public static final String KEYWORD_COLOR = "KEYWORD_COLOR"; private static final RGB DEFAULT_KEYWORD_COLOR = new RGB(255, 119, 0); + public static final String STRING_COLOR = "STRING_COLOR"; private static final RGB DEFAULT_STRING_COLOR = new RGB(0, 170, 0); + public static final String COMMENT_COLOR = "COMMENT_COLOR"; private static final RGB DEFAULT_COMMENT_COLOR = new RGB(221, 0, 0); + public static final String INTERPRETER_PATH = "INTERPRETER_PATH"; protected static final String DEFAULT_INTERPRETER_PATH = "python"; + public static final String HYPERLINK_COLOR = "HYPERLINK_COLOR"; private static final RGB DEFAULT_HYPERLINK_COLOR = new RGB(0, 0, 238); + public static final String BLOCK_COMMENT = "BLOCK_COMMENT"; ! public static final String DEFAULT_BLOCK_COMMENT_STRING = "================================================================================"; public static final boolean DEFAULT_BLOCK_COMMENT = true; *************** *** 82,87 **** --- 94,104 ---- addField(new BooleanFieldEditor( SUBSTITUTE_TABS, "Substitute spaces for tabs?", p)); + addField(new BooleanFieldEditor( GUESS_TAB_SUBSTITUTION, "Assume tab spacing when files contain tabs?", p)); + + addField(new BooleanFieldEditor( + USE_CODE_FOLDING, "Use code folding?", p)); + IntegerFieldEditor ife = new IntegerFieldEditor(TAB_WIDTH, "Tab length", p, 1); ife.setValidRange(1, 8); *************** *** 92,99 **** --- 109,119 ---- addField(new ColorFieldEditor( CODE_COLOR, "Code", p)); + addField(new ColorFieldEditor( KEYWORD_COLOR, "Keywords", p)); + addField(new ColorFieldEditor( STRING_COLOR, "Strings", p)); + addField(new ColorFieldEditor( COMMENT_COLOR, "Comments", p)); *************** *** 109,112 **** --- 129,133 ---- protected static void initializeDefaultPreferences(Preferences prefs) { prefs.setDefault(SUBSTITUTE_TABS, DEFAULT_SUBSTITUTE_TABS); + prefs.setDefault(USE_CODE_FOLDING, DEFAULT_USE_CODE_FOLDING); prefs.setDefault(GUESS_TAB_SUBSTITUTION, DEFAULT_GUESS_TAB_SUBSTITUTION); prefs.setDefault(TAB_WIDTH, DEFAULT_TAB_WIDTH); |