From: <kp...@us...> - 2008-05-07 08:18:50
|
Revision: 12589 http://jedit.svn.sourceforge.net/jedit/?rev=12589&view=rev Author: kpouer Date: 2008-05-07 01:18:48 -0700 (Wed, 07 May 2008) Log Message: ----------- geometry saved Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/gui/statusbar/ErrorsWidgetFactory.java Modified: jEdit/trunk/org/gjt/sp/jedit/gui/statusbar/ErrorsWidgetFactory.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/gui/statusbar/ErrorsWidgetFactory.java 2008-05-07 05:52:05 UTC (rev 12588) +++ jEdit/trunk/org/gjt/sp/jedit/gui/statusbar/ErrorsWidgetFactory.java 2008-05-07 08:18:48 UTC (rev 12589) @@ -1,11 +1,9 @@ /* - * ClockWidgetFactory.java - The clock widget service + * ErrorsWidgetFactory.java - The error widget service * :tabSize=8:indentSize=8:noTabs=false: * :folding=explicit:collapseFolds=1: * * Copyright (C) 2008 Matthieu Casanova - * Portions Copyright (C) 2001, 2004 Slava Pestov - * Portions copyright (C) 2001 Mike Dillon * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -27,6 +25,7 @@ //{{{ Imports import org.gjt.sp.jedit.View; import org.gjt.sp.jedit.jEdit; +import org.gjt.sp.jedit.GUIUtilities; import org.gjt.sp.jedit.gui.EnhancedDialog; import org.gjt.sp.util.Log; @@ -38,6 +37,7 @@ //}}} /** + * This widget will show you in the status bar the last errors reported in jEdit. * @author Matthieu Casanova * @since jEdit 4.3pre15 */ @@ -187,8 +187,8 @@ }); getContentPane().add(combo, BorderLayout.NORTH); getContentPane().add(new JScrollPane(textArea)); - pack(); - setLocationRelativeTo(view); + pack(); + GUIUtilities.loadGeometry(this,"status.errorWidget"); setVisible(true); } @@ -196,10 +196,18 @@ { throwable.printStackTrace(printStream); textArea.setText(byteArrayOutputStream.toString()); - byteArrayOutputStream.reset(); + textArea.setCaretPosition(0); + byteArrayOutputStream.reset(); } - @Override + @Override + public void dispose() + { + GUIUtilities.saveGeometry(this, "status.errorWidget"); + super.dispose(); + } + + @Override public void ok() { dispose(); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |