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";
|
