Index: trunk/src/org/openstreetmap/josm/gui/GettingStarted.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/GettingStarted.java (revision 344)
+++ trunk/src/org/openstreetmap/josm/gui/GettingStarted.java (revision 345)
@@ -60,8 +60,8 @@
);
- if (changePrefs) {;
+ if (changePrefs) {
Main.pref.put("osm-server.version", null);
Main.pref.put("osm-server.additional-versions", null);
- panel.add(new JLabel("Your preferences have been changed by removing osm-server.version and/or osm-server.additional-versions which were still to referring 0.4.
"), GBC.eol());
+ panel.add(new JLabel("Your preferences have been changed by removing osm-server.version and/or osm-server.additional-versions which were still referring to 0.4.
"), GBC.eol());
}
Index: trunk/src/org/openstreetmap/josm/gui/MainApplication.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/MainApplication.java (revision 344)
+++ trunk/src/org/openstreetmap/josm/gui/MainApplication.java (revision 345)
@@ -112,4 +112,10 @@
Main.pref.resetToDefault();
}
+
+ if (!Main.pref.getBoolean("plugins-0.5", false)) {
+ Main.pref.put("plugins", null);
+ Main.pref.put("plugins-0.5", "true");
+ System.out.println("disabled plugins setting. re-enable the plugins you need.");
+ }
// load the early plugins