Changeset 5162 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2012-04-04T11:06:00+02:00 (12 years ago)

Author:

akks

Message:

Josm XML-JS configurator, see #4421: bugfixes, JS variables for directories and version

File:

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

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -304 +304 @@
             // plugins preference keys may be changed directly later, after plugins are downloaded
             // so we do not want to show it in the table as "changed" now
-            loaded.put("plugins", orig.get("plugins"));
+            Setting pluginSetting = orig.get("plugins");
+            if (pluginSetting!=null) {
+                loaded.put("plugins", pluginSetting);
+            }
         } else {
             loaded = orig;