Changeset 2152 in josm

Timestamp:

2009-09-16T21:47:44+02:00 (15 years ago)

Author:

Gubaer

Message:

applied #3524: patch by avar: Make plugin search (much) faster

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/preferences/PluginPreference.java (modified) (1 diff)
• plugins/PluginSelection.java (modified) (5 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

@@ -105 +105 @@
 
         selection.passTxtFilter(txtFilter);
+        selection.loadPlugins();
         selection.drawPanel(pluginPanel);
     }

trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java

@@ -71 +71 @@
             );
         }
+        loadPlugins();
         drawPanel(pluginPanel);
     }
@@ -78 +79 @@
         int num = PluginDownloader.downloadDescription();
         Boolean done = false;
+        loadPlugins();
         drawPanel(pluginPanel);
 
@@ -120 +122 @@
             Main.pref.put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
         }
+        loadPlugins();
         drawPanel(pluginPanel);
     }
@@ -170 +173 @@
     /* return true when plugin list changed */
     public void drawPanel(JPanel pluginPanel) {
-        loadPlugins();
         Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
 
@@ -299 +301 @@
     }
 
-    private void loadPlugins() {
+    public void loadPlugins() {
         availablePlugins = new TreeMap<String, PluginInformation>(new Comparator<String>(){
             public int compare(String o1, String o2) {