Changeset 12588 in osm for applications/editors/josm/plugins/pluginmanager/src

Timestamp:

2008-12-25T19:01:06+01:00 (16 years ago)

Author:

stoecker

Message:

updated a lot

File:

• applications/editors/josm/plugins/pluginmanager/src/at/dallermassl/josm/plugin/pluginmanager/PluginManagerPreference.java (modified) (6 diffs)

applications/editors/josm/plugins/pluginmanager/src/at/dallermassl/josm/plugin/pluginmanager/PluginManagerPreference.java

@@ -50 +50 @@
     private JList siteList;
     private DefaultListModel siteListModel;
-    
+    private boolean requiresRestart = false;
+
     protected DefaultListModel createListModel() {
         Map<String, String> sites = Main.pref.getAllPrefix(PREF_KEY_REMOTE_SITE_PREFIX);
@@ -103 +104 @@
                     return;
                 }
-                gui.requiresRestart = gui.requiresRestart || false;
             }
         });
@@ -117 +117 @@
                         siteListModel.removeElementAt(selected[i]);
                     }
-                    gui.requiresRestart = gui.requiresRestart || false;
                 }
             }
@@ -142 +141 @@
                     PluginUpdateFrame frame = new PluginUpdateFrame(tr("Plugins"), descriptions);
                     frame.setVisible(true);
-                    gui.requiresRestart = true;
+                    requiresRestart = true;
                 }
             }
@@ -167 +166 @@
      * @see org.openstreetmap.josm.gui.preferences.PreferenceSetting#ok()
      */
-    // only in 1.6 allowed @Override
-    public void ok() {
+    public boolean ok() {
         // first remove all old entries:
         Map<String, String> keys = Main.pref.getAllPrefix(PREF_KEY_REMOTE_SITE_PREFIX);
@@ -189 +187 @@
             }
         }
+        return requiresRestart;
     }
-
 }