Hi, I have checked in a significant change in JOSM preferences settings GUI system that impacts the plugin interface. Starting from JOSM 4968+, plugins that use preferences have some minor changes to do.
This is briefly documented here: http://josm.openstreetmap.de/wiki/DevelopersGuide/DevelopingPlugins#Theplugininterface In nearly all cases, this change should be enough to update your plugin: -------------------------------------------------------------------------------------------------------------------------- public class MyPreferenceSetting implements PreferenceSetting { @Override public void addGui(PreferenceTabbedPane gui) { JPanel panel = gui.createPreferenceTab(iconName, tr("title"), tr("description")); -------------------------------------------------------------------------------------------------------------------------- to: -------------------------------------------------------------------------------------------------------------------------- public class MyPreferenceSetting extends DefaultTabPreferenceSetting { public MyPreferenceSetting() { super(iconName, tr("title"), tr("description")); } @Override public void addGui(PreferenceTabbedPane gui) { JPanel panel = gui.createPreferenceTab(this); -------------------------------------------------------------------------------------------------------------------------- Let me know if you struggle to update your plugin or if you find unexpected bugs. Regards, Vincent _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev
