Revision: 22506
http://jedit.svn.sourceforge.net/jedit/?rev=22506&view=rev
Author: ezust
Date: 2012-11-28 06:31:11 +0000 (Wed, 28 Nov 2012)
Log Message:
-----------
DefaultErrorSource: resolvesymlinks when calling setPath()
Modified Paths:
--------------
plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java
Modified: plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java
===================================================================
--- plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java 2012-11-28 04:20:22 UTC (rev 22505)
+++ plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java 2012-11-28 06:31:11 UTC (rev 22506)
@@ -4,7 +4,7 @@
* :folding=explicit:collapseFolds=1:
*
* Copyright (C) 1999-2012 Slava Pestov, Alan Ezust
-
+
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2
@@ -33,7 +33,7 @@
//}}}
/** A concrete implementation of ErrorSource that is suitable for Plugins to use/extend.
- *
+ *
* @author Slava Pestov
*/
public class DefaultErrorSource extends ErrorSource
@@ -42,7 +42,7 @@
/**
* Creates a new default error source.
* @param v which View we want errors to be sent to.
- * if null, errors may be sent to all Views.
+ * if null, errors may be sent to all Views.
*/
public DefaultErrorSource(String name, View v)
{
@@ -50,7 +50,7 @@
this.name = name;
this.view = v;
}
-
+
/** @deprecated please supply a View using the other ctor. */
@Deprecated
public DefaultErrorSource(String name) {
@@ -67,12 +67,12 @@
} //}}}
//{{{ getView() method
- /** Returns the View that messages should be displayed in */
+ /** Returns the View that messages should be displayed in */
public View getView() {
- return view;
-
+ return view;
+
}//}}}
-
+
//{{{ getErrorCount() method
/**
* Returns the number of errors in this source.
@@ -410,7 +410,7 @@
*/
public void setFilePath(String newPath)
{
- path = newPath;
+ path = MiscUtilities.resolveSymlinks(newPath);
name = MiscUtilities.getFileName(path);
}// }}}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
