From: <ez...@us...> - 2006-09-03 16:52:58
|
Revision: 6878 http://svn.sourceforge.net/jedit/?rev=6878&view=rev Author: ezust Date: 2006-09-03 09:52:55 -0700 (Sun, 03 Sep 2006) Log Message: ----------- Send focus back to textarea. Modified Paths: -------------- plugins/ErrorList/trunk/ErrorList.props plugins/ErrorList/trunk/errorlist/ErrorList.java plugins/ErrorList/trunk/users-guide.xml Modified: plugins/ErrorList/trunk/ErrorList.props =================================================================== --- plugins/ErrorList/trunk/ErrorList.props 2006-09-03 00:33:35 UTC (rev 6877) +++ plugins/ErrorList/trunk/ErrorList.props 2006-09-03 16:52:55 UTC (rev 6878) @@ -3,7 +3,7 @@ plugin.errorlist.ErrorListPlugin.name=ErrorList plugin.errorlist.ErrorListPlugin.author=Slava Pestov -plugin.errorlist.ErrorListPlugin.version=1.4.1 +plugin.errorlist.ErrorListPlugin.version=1.4.2 plugin.errorlist.ErrorListPlugin.docs=index.html plugin.errorlist.ErrorListPlugin.depend.0=jedit 04.02.99.00 plugin.errorlist.ErrorListPlugin.depend.1=jdk 1.4 Modified: plugins/ErrorList/trunk/errorlist/ErrorList.java =================================================================== --- plugins/ErrorList/trunk/errorlist/ErrorList.java 2006-09-03 00:33:35 UTC (rev 6877) +++ plugins/ErrorList/trunk/errorlist/ErrorList.java 2006-09-03 16:52:55 UTC (rev 6878) @@ -4,6 +4,7 @@ * :folding=explicit:collapseFolds=1: * * Copyright (C) 1999, 2003 Slava Pestov + * * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -23,12 +24,28 @@ package errorlist; //{{{ Imports +import java.awt.BorderLayout; +import java.awt.Component; +import java.awt.Dimension; +import java.awt.Font; +import java.awt.event.MouseAdapter; +import java.awt.event.MouseEvent; + import javax.swing.*; import javax.swing.tree.*; -import java.awt.*; -import java.awt.event.*; -import org.gjt.sp.jedit.*; -import org.gjt.sp.jedit.gui.*; + +import org.gjt.sp.jedit.Buffer; +import org.gjt.sp.jedit.EBComponent; +import org.gjt.sp.jedit.EBMessage; +import org.gjt.sp.jedit.EditAction; +import org.gjt.sp.jedit.EditBus; +import org.gjt.sp.jedit.GUIUtilities; +import org.gjt.sp.jedit.OperatingSystem; +import org.gjt.sp.jedit.View; +import org.gjt.sp.jedit.jEdit; +import org.gjt.sp.jedit.gui.DefaultFocusComponent; +import org.gjt.sp.jedit.gui.DockableWindowManager; +import org.gjt.sp.jedit.gui.RolloverButton; import org.gjt.sp.jedit.io.VFSManager; import org.gjt.sp.jedit.textarea.Selection; //}}} @@ -131,7 +148,6 @@ JScrollPane scroller = new JScrollPane(errorTree); scroller.setPreferredSize(new Dimension(640,200)); add(BorderLayout.CENTER,scroller); - updateStatus(); } //}}} @@ -160,7 +176,8 @@ */ public void focusOnDefaultComponent() { - // intentionally left empty; ErrorList should not request any focus + // Whenever Errorlist "gets" focus, it sends the focus back to the textarea. + view.getTextArea().requestFocus(); } //}}} //{{{ focus() method @@ -889,4 +906,5 @@ } } } //}}} + } Modified: plugins/ErrorList/trunk/users-guide.xml =================================================================== --- plugins/ErrorList/trunk/users-guide.xml 2006-09-03 00:33:35 UTC (rev 6877) +++ plugins/ErrorList/trunk/users-guide.xml 2006-09-03 16:52:55 UTC (rev 6878) @@ -401,10 +401,17 @@ <appendix id="changes"><title>Change log</title> <itemizedlist> - - <listitem><formalpara><title>Version 1.4</title><para>requires - jEdit 4.2final. - </para></formalpara> + <listitem><formalpara><title>Version 1.4.2</title> + <para>requires JDK 1.4, and jEdit 4.2 final. </para></formalpara> + <itemizedlist> + <listitem><para>When ErrorList gets focus, it now deliberately passes the focus back to the current jEditTextArea. (ezust) + </para></listitem> + </itemizedlist></listitem> + <listitem> + <formalpara> + <title>Version 1.4</title> + <para>requires jEdit 4.2final. </para> + </formalpara> <itemizedlist> <listitem><para>Add option to close error list after no errors remain (Gerd Knops). </para></listitem> This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |