Changeset 350 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java

Timestamp:

2007-10-07T19:52:59+02:00 (17 years ago)

Author:

framm

Message:

• auto-disable any plugin that does not load successfully.

File:

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

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -112 +112 @@
                         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