Changeset 1133 in josm

Timestamp:

2008-12-14T11:43:14+01:00 (15 years ago)

Author:

stoecker

Message:

fixed NPE

File:

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

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

@@ -242 +242 @@
                 int width = pluginPanel.myGetWidth();
 
-                // the following could probably be done more elegantly?
                 Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
                 
                 for (final PluginDescription plugin : availablePlugins) {
-                        boolean enabled = enabledPlugins.contains(plugin.name);
+                        boolean enabled = enabledPlugins != null && enabledPlugins.contains(plugin.name);
                         String remoteversion = plugin.version;
                         if(remoteversion == null || remoteversion.equals(""))