[Pydev-cvs] org.python.pydev/src/org/python/pydev/plugin PydevPrefs.java,1.12,1.13
Brought to you by:
fabioz
From: Fabio Z. <fa...@us...> - 2004-10-20 16:52:03
|
Update of /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16873/src/org/python/pydev/plugin Modified Files: PydevPrefs.java Log Message: Index: PydevPrefs.java =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin/PydevPrefs.java,v retrieving revision 1.12 retrieving revision 1.13 diff -C2 -d -r1.12 -r1.13 *** PydevPrefs.java 20 Sep 2004 13:18:04 -0000 1.12 --- PydevPrefs.java 20 Oct 2004 16:51:53 -0000 1.13 *************** *** 70,73 **** --- 70,76 ---- public static final int DEFAULT_CONNECT_TIMEOUT = 20000; + public static final String RUN_MANY_SCRIPT_LOCATION = "RUN_MANY_SCRIPT_LOCATION"; + public static final String DEFAULT_RUN_MANY_SCRIPT_LOCATION = ""; + /** * Initializer sets the preference store *************** *** 146,149 **** --- 149,153 ---- prefs.setDefault(BLOCK_COMMENT, DEFAULT_BLOCK_COMMENT_STRING); prefs.setDefault(CONNECT_TIMEOUT, DEFAULT_CONNECT_TIMEOUT); + prefs.setDefault(RUN_MANY_SCRIPT_LOCATION, DEFAULT_RUN_MANY_SCRIPT_LOCATION); } } |