From: <sh...@us...> - 2007-08-28 05:45:18
|
Revision: 10441 http://jedit.svn.sourceforge.net/jedit/?rev=10441&view=rev Author: shlomy Date: 2007-08-27 22:45:12 -0700 (Mon, 27 Aug 2007) Log Message: ----------- Removed an erroneous "@override" directive. Modified Paths: -------------- plugins/GlobalPlugin/trunk/browser/GlobalPlugin.java Modified: plugins/GlobalPlugin/trunk/browser/GlobalPlugin.java =================================================================== --- plugins/GlobalPlugin/trunk/browser/GlobalPlugin.java 2007-08-24 23:16:19 UTC (rev 10440) +++ plugins/GlobalPlugin/trunk/browser/GlobalPlugin.java 2007-08-28 05:45:12 UTC (rev 10441) @@ -57,7 +57,6 @@ return; } final Runnable moveCaret = new Runnable() { - @Override public void run() { JEditTextArea ta = view.getTextArea(); ta.setCaretPosition(ta.getLineStartOffset(line - 1)); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |