Changeset 3585 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2010-10-03T15:41:11+02:00 (14 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));