Ticket #3524: speed-up-plugin-search.patch

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

@@ -70 +70 @@
                     JOptionPane.ERROR_MESSAGE
             );
         }
+        loadPlugins();
         drawPanel(pluginPanel);
     }
 
@@ -77 +78 @@
         // refresh description
         int num = PluginDownloader.downloadDescription();
         Boolean done = false;
+        loadPlugins();
         drawPanel(pluginPanel);
 
         Set<PluginInformation> toUpdate = new HashSet<PluginInformation>();
@@ -119 +121 @@
         if (done && num >= 1) {
             Main.pref.put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
         }
+        loadPlugins();
         drawPanel(pluginPanel);
     }
 
@@ -169 +172 @@
 
     /* return true when plugin list changed */
     public void drawPanel(JPanel pluginPanel) {
-        loadPlugins();
         Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
 
         if (pluginMap == null) {
@@ -298 +300 @@
         return canHas;
     }
 
-    private void loadPlugins() {
+    public void loadPlugins() {
         availablePlugins = new TreeMap<String, PluginInformation>(new Comparator<String>(){
             public int compare(String o1, String o2) {
                 return o1.compareToIgnoreCase(o2);

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

@@ -104 +104 @@
         plugin.add(configureSites, GBC.std());
 
         selection.passTxtFilter(txtFilter);
+        selection.loadPlugins();
         selection.drawPanel(pluginPanel);
     }