Changeset 2152 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

Timestamp:

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

Author:

Gubaer

Message:

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

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java (modified) (1 diff)

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

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