Changeset 2152 in josm


Ignore:
Timestamp:
2009-09-16T21:47:44+02:00 (12 years ago)
Author:
Gubaer
Message:

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

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

    r2147 r2152  
    105105
    106106        selection.passTxtFilter(txtFilter);
     107        selection.loadPlugins();
    107108        selection.drawPanel(pluginPanel);
    108109    }
  • trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java

    r2147 r2152  
    7171            );
    7272        }
     73        loadPlugins();
    7374        drawPanel(pluginPanel);
    7475    }
     
    7879        int num = PluginDownloader.downloadDescription();
    7980        Boolean done = false;
     81        loadPlugins();
    8082        drawPanel(pluginPanel);
    8183
     
    120122            Main.pref.put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
    121123        }
     124        loadPlugins();
    122125        drawPanel(pluginPanel);
    123126    }
     
    170173    /* return true when plugin list changed */
    171174    public void drawPanel(JPanel pluginPanel) {
    172         loadPlugins();
    173175        Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
    174176
     
    299301    }
    300302
    301     private void loadPlugins() {
     303    public void loadPlugins() {
    302304        availablePlugins = new TreeMap<String, PluginInformation>(new Comparator<String>(){
    303305            public int compare(String o1, String o2) {
Note: See TracChangeset for help on using the changeset viewer.