[Pydev-cvs] org.python.pydev/src/org/python/pydev/plugin PydevPrefs.java,1.6,1.7 PydevPlugin.java,1.
Brought to you by:
fabioz
From: Aleksandar T. <at...@us...> - 2004-05-05 02:05:29
|
Update of /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17997/src/org/python/pydev/plugin Modified Files: PydevPrefs.java PydevPlugin.java Log Message: Minor tweaks: - removed some debug printfs - hyperlinks show up only when there is something to jump to - OydevPlugin got an error dialog Index: PydevPlugin.java =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin/PydevPlugin.java,v retrieving revision 1.6 retrieving revision 1.7 diff -C2 -d -r1.6 -r1.7 *** PydevPlugin.java 27 Apr 2004 01:06:58 -0000 1.6 --- PydevPlugin.java 5 May 2004 02:05:19 -0000 1.7 *************** *** 110,114 **** * @return part that is the editor */ ! public IEditorPart doOpenEditor(IPath path) { if (path == null) return null; --- 110,114 ---- * @return part that is the editor */ ! public IEditorPart doOpenEditor(IPath path, boolean activate) { if (path == null) return null; *************** *** 119,123 **** if (file != null && file.exists()) { // File is inside the workspace ! return wp.openEditor(file, null, true); } else { IStorage storage = new FileStorage(path); --- 119,123 ---- if (file != null && file.exists()) { // File is inside the workspace ! return wp.openEditor(file, null, activate); } else { IStorage storage = new FileStorage(path); Index: PydevPrefs.java =================================================================== RCS file: /cvsroot/pydev/org.python.pydev/src/org/python/pydev/plugin/PydevPrefs.java,v retrieving revision 1.6 retrieving revision 1.7 diff -C2 -d -r1.6 -r1.7 *** PydevPrefs.java 22 Apr 2004 10:35:24 -0000 1.6 --- PydevPrefs.java 5 May 2004 02:05:09 -0000 1.7 *************** *** 41,49 **** 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(160, 32, 240); public static final String STRING_COLOR = "STRING_COLOR"; ! private static final RGB DEFAULT_STRING_COLOR = new RGB(120, 130, 61); public static final String COMMENT_COLOR = "COMMENT_COLOR"; ! private static final RGB DEFAULT_COMMENT_COLOR = new RGB(178, 34, 34); public static final String INTERPRETER_PATH = "INTERPRETER_PATH"; protected static final String DEFAULT_INTERPRETER_PATH = "python"; --- 41,49 ---- 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"; |