Changeset 1120 in josm for trunk/src


Ignore:
Timestamp:
2008-12-13T19:08:56+01:00 (11 years ago)
Author:
stoecker
Message:

fix plugin loss

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

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/Main.java

    r1104 r1120  
    229229            plugins.addAll(Arrays.asList(System.getProperty("josm.plugins").split(",")));
    230230
    231         String [] oldplugins = new String[] {"mappaint", "unglueplugin", "lang-de","lang-en_GB","lang-fr","lang-it","lang-pl","lang-ro","lang-ru"};
     231        String [] oldplugins = new String[] {"mappaint", "unglueplugin",
     232        "lang-de", "lang-en_GB", "lang-fr", "lang-it", "lang-pl", "lang-ro",
     233        "lang-ru", "ewmsplugin", "ywms"};
    232234        for (String p : oldplugins) {
    233235            if (plugins.contains(p)) {
     
    240242        if (plugins.isEmpty())
    241243            return;
    242        
     244
    243245        SortedMap<Integer, Collection<PluginInformation>> p = new TreeMap<Integer, Collection<PluginInformation>>();
    244246        for (String pluginName : plugins) {
  • trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

    r1096 r1120  
    243243
    244244                // the following could probably be done more elegantly?
    245                 Collection<String> enabledPlugins = null;
    246                 String enabledProp = Main.pref.get("plugins");
    247                 if ((enabledProp == null) || ("".equals(enabledProp))) {
    248                         enabledPlugins = Collections.emptySet();
    249                 }
    250                 else
    251                 {
    252                         enabledPlugins = Arrays.asList(enabledProp.split(","));
    253                 }
     245                Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
    254246               
    255247                for (final PluginDescription plugin : availablePlugins) {
     
    384376                }
    385377
    386                 String plugins = "";
     378                String oldPlugins = Main.pref.get("plugins");
     379                LinkedList<String> plugins = new LinkedList<String>();
    387380                Object pd[] = pluginMap.keySet().toArray();
    388381                Arrays.sort(pd);
    389382                for (Object d : pd) {
    390383                        if (pluginMap.get(d))
    391                                 plugins += ((PluginDescription)d).name + ",";
    392                 }
    393                 if (plugins.endsWith(","))
    394                         plugins = plugins.substring(0, plugins.length()-1);
    395                 if (plugins.length() == 0)
    396                         plugins = null;
    397 
    398                 String oldPlugins = Main.pref.get("plugins");
     384                                plugins.add(((PluginDescription)d).name);
     385                }
     386
     387                Main.pref.putCollection("plugins", plugins);
     388                String newPlugins = Main.pref.get("plugins");
    399389                if(oldPlugins == null && plugins == null)
    400390                        return;
    401391                if(plugins == null || oldPlugins == null || !plugins.equals(oldPlugins))
    402                 {
    403                         Main.pref.put("plugins", plugins);
    404392                        gui.requiresRestart = true;
    405                 }
    406393        }
    407394}
Note: See TracChangeset for help on using the changeset viewer.