Changeset 3585 in josm

Timestamp:

Oct 3, 2010 3:41:11 PM (3 years ago)

Author:

jttt

Message:

Fix #5519 josm plugin sources

File:

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

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

@@ -502 +502 @@
                             list.getSelectedValue()
                     );
-                    model.setElementAt(s, list.getSelectedIndex());
+                    if (s != null) {
+                        model.setElementAt(s, list.getSelectedIndex());
+                    }
                 }
             }), GBC.eol().fill(GBC.HORIZONTAL));