Changeset 5858 in josm for trunk

Timestamp:

2013-04-14T19:05:10+02:00 (11 years ago)

Author:

Don-vip

Message:

warning with invalid plugin preferences

File:

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

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

@@ -405 +405 @@
                     }
                 }
+            } else if (!(setting instanceof SubPreferenceSetting)) {
+                Main.warn("Ignoring preferences "+setting);
             }
         }