Changeset 1133 in josm for trunk/src


Ignore:
Timestamp:
2008-12-14T11:43:14+01:00 (11 years ago)
Author:
stoecker
Message:

fixed NPE

File:
1 edited

Legend:

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

    r1120 r1133  
    242242                int width = pluginPanel.myGetWidth();
    243243
    244                 // the following could probably be done more elegantly?
    245244                Collection<String> enabledPlugins = Main.pref.getCollection("plugins", null);
    246245               
    247246                for (final PluginDescription plugin : availablePlugins) {
    248                         boolean enabled = enabledPlugins.contains(plugin.name);
     247                        boolean enabled = enabledPlugins != null && enabledPlugins.contains(plugin.name);
    249248                        String remoteversion = plugin.version;
    250249                        if(remoteversion == null || remoteversion.equals(""))
Note: See TracChangeset for help on using the changeset viewer.