Author: jflesch
Date: 2007-04-11 22:12:20 +0000 (Wed, 11 Apr 2007)
New Revision: 12585
Modified:
trunk/apps/Thaw/src/thaw/plugins/ThemeSelector.java
Log:
Fix plugin 'ThemeSelector'
Modified: trunk/apps/Thaw/src/thaw/plugins/ThemeSelector.java
===================================================================
--- trunk/apps/Thaw/src/thaw/plugins/ThemeSelector.java 2007-04-11 22:05:54 UTC
(rev 12584)
+++ trunk/apps/Thaw/src/thaw/plugins/ThemeSelector.java 2007-04-11 22:12:20 UTC
(rev 12585)
@@ -72,6 +72,7 @@
public boolean stop() {
+ core.getConfigWindow().deleteObserver(this);
core.getConfigWindow().removeTab(panel);
return false;
@@ -113,7 +114,6 @@
if (themeList.getSelectedValue() != null) {
core.getConfig().setValue("lookAndFeel",
((String)themeList.getSelectedValue()));
-
resetSelection();
}