Changeset 345 in josm


Ignore:
Timestamp:
2007-10-07T14:24:11+02:00 (17 years ago)
Author:
framm
Message:
  • drop plugins setting on first start of 0.5
Location:
trunk/src/org/openstreetmap/josm/gui
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/GettingStarted.java

    r344 r345  
    6060                );
    6161               
    62                 if (changePrefs) {;
     62                if (changePrefs) {
    6363                        Main.pref.put("osm-server.version", null);
    6464                        Main.pref.put("osm-server.additional-versions", null);
    65                         panel.add(new JLabel("<html><h3>Your preferences have been changed by removing <b>osm-server.version</b> and/or <b>osm-server.additional-versions</b> which were still to referring 0.4.</h3></html>"), GBC.eol());
     65                        panel.add(new JLabel("<html><h3>Your preferences have been changed by removing <b>osm-server.version</b> and/or <b>osm-server.additional-versions</b> which were still referring to 0.4.</h3></html>"), GBC.eol());
    6666                }
    6767               

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

    r298 r345  
    112112                        Main.pref.resetToDefault();
    113113                }
     114               
     115                if (!Main.pref.getBoolean("plugins-0.5", false)) {
     116                        Main.pref.put("plugins", null);
     117                        Main.pref.put("plugins-0.5", "true");
     118                        System.out.println("disabled plugins setting. re-enable the plugins you need.");
     119                }
    114120
    115121                // load the early plugins
Note: See TracChangeset for help on using the changeset viewer.