From: <kp...@us...> - 2012-02-08 14:00:01
|
Revision: 21094 http://jedit.svn.sourceforge.net/jedit/?rev=21094&view=rev Author: kpouer Date: 2012-02-08 13:59:51 +0000 (Wed, 08 Feb 2012) Log Message: ----------- The Install/Update plugin dialog with progress bar should not show the progression of installation in it's title (#3485497) Modified Paths: -------------- jEdit/trunk/doc/CHANGES.txt jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginManagerProgress.java Modified: jEdit/trunk/doc/CHANGES.txt =================================================================== --- jEdit/trunk/doc/CHANGES.txt 2012-02-08 11:18:49 UTC (rev 21093) +++ jEdit/trunk/doc/CHANGES.txt 2012-02-08 13:59:51 UTC (rev 21094) @@ -11,6 +11,9 @@ {{{ Bug fixes +- The Install/Update plugin dialog with progress bar should not show the + progression of installation in it's title (#3485497) (Matthieu Casanova) + - If the plugin list was not already loaded, there is no reason to load it because of a property change (#3485645) (Matthieu Casanova) Modified: jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props 2012-02-08 11:18:49 UTC (rev 21093) +++ jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props 2012-02-08 13:59:51 UTC (rev 21094) @@ -2746,6 +2746,7 @@ update-plugins.title=Update plugin-manager.progress=Downloading {0} from mirror {1} +plugin-manager.progress.title=Installing plugin(s) plugin-manager.progress.stop=Stop #}}} Modified: jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginManagerProgress.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginManagerProgress.java 2012-02-08 11:18:49 UTC (rev 21093) +++ jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginManagerProgress.java 2012-02-08 13:59:51 UTC (rev 21094) @@ -36,7 +36,7 @@ //{{{ PluginManagerProgress constructor PluginManagerProgress(PluginManager dialog, Roster roster) { - super(dialog,jEdit.getProperty("plugin-manager.progress"),true); + super(dialog,jEdit.getProperty("plugin-manager.progress.title"),true); this.roster = roster; @@ -108,10 +108,9 @@ * @param status the new status (it will be ignored) * @since jEdit 4.3pre3 */ - public void setStatus(String status) - { - setTitle(status); - progress.setString(status); + public void setStatus(String status) + { + progress.setString(status); } //}}} //{{{ done() method This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |