From: <ez...@us...> - 2012-12-16 07:50:55
|
Revision: 22574 http://jedit.svn.sourceforge.net/jedit/?rev=22574&view=rev Author: ezust Date: 2012-12-16 07:50:49 +0000 (Sun, 16 Dec 2012) Log Message: ----------- Rollback 22571. Modified Paths: -------------- plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java Modified: plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java =================================================================== --- plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java 2012-12-16 07:35:28 UTC (rev 22573) +++ plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java 2012-12-16 07:50:49 UTC (rev 22574) @@ -31,7 +31,6 @@ import org.gjt.sp.jedit.msg.*; import org.gjt.sp.jedit.*; //}}} -import org.gjt.sp.util.Log; /** A concrete implementation of ErrorSource that is suitable for Plugins to use/extend. * @@ -47,9 +46,6 @@ */ public DefaultErrorSource(String name, View v) { - if (v == null) { - Log.log(Log.WARNING, this, new RuntimeException("Null View for DefaultErrorSource.")); - } errors = new LinkedHashMap<String, ErrorListForPath>(); this.name = name; this.view = v; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |