Changeset 287 in josm


Ignore:
Timestamp:
2007-07-11T23:32:16+02:00 (14 years ago)
Author:
imi
Message:
  • added LatestRelease plugin site
  • added feature to order the list of plugin sites
Files:
2 edited
1 moved

Legend:

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

    r283 r287  
    9191            }
    9292                });
    93                 plugin.add(update, GBC.std().insets(0,0,10,0));
     93                //TODO: plugin.add(update, GBC.std().insets(0,0,10,0));
    9494
    9595                JButton configureSites = new JButton(tr("Configure Plugin Sites"));
     
    9999            }
    100100                });
    101                 plugin.add(configureSites, GBC.std());
     101                //TODO: plugin.add(configureSites, GBC.std());
    102102
    103103                refreshPluginPanel(gui);
     
    140140                        File[] pluginFiles = new File(location).listFiles();
    141141                        if (pluginFiles != null) {
     142                                Arrays.sort(pluginFiles);
    142143                                for (File f : pluginFiles) {
    143144                                        if (!f.isFile())
     
    149150                            } catch (PluginException x) {
    150151                            }
    151                                         } else if (f.getName().endsWith(".xml")) {
     152                                        } else if (f.getName().matches("^[0-9]+-site.*\\.xml$")) {
    152153                                                try {
    153154                                Uniform<PluginDescription> parser = new Uniform<PluginDescription>(new FileReader(f), "plugin", PluginDescription.class);
    154155                                for (PluginDescription pd : parser)
    155                                         availablePlugins.put(pd.name, pd);
     156                                        if (!availablePlugins.containsKey(pd.name))
     157                                                availablePlugins.put(pd.name, pd);
    156158                        } catch (Exception e) {
    157159                                e.printStackTrace();
  • src/org/openstreetmap/josm/plugins/PluginDownloader.java

    r282 r287  
    2828        public static int downloadDescription() {
    2929                int count = 0;
    30                 for (String site : Main.pref.get("pluginmanager.sites", "http://josm.openstreetmap.de/wiki/Plugins").split(" ")) {
     30                for (String site : Main.pref.get("pluginmanager.sites", "http://josm.openstreetmap.de/wiki/Plugins/LatestRelease http://josm.openstreetmap.de/wiki/Plugins").split(" ")) {
    3131                        try {
    3232                                BufferedReader r = new BufferedReader(new InputStreamReader(new URL(site).openStream()));
     
    3838                                r.close();
    3939                                new File(Main.pref.getPreferencesDir()+"plugins").mkdir();
    40                                 FileWriter out = new FileWriter(Main.pref.getPreferencesDir()+"plugins/site-"+site.replaceAll("[/:\\\\ <>|]", "_")+".xml");
     40                                FileWriter out = new FileWriter(Main.pref.getPreferencesDir()+"plugins/"+count+"-site-"+site.replaceAll("[/:\\\\ <>|]", "_")+".xml");
    4141                                out.append(txt);
    4242                                out.close();
Note: See TracChangeset for help on using the changeset viewer.