Changeset 3225 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java
- Timestamp:
- 2010-05-09T14:41:39+02:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java
r2745 r3225 83 83 84 84 public boolean ok() { 85 Boolean restart = Main.pref.put("mappaint.style.enable-defaults", enableDefault. getSelectedObjects() != null);86 if(Main.pref.put("mappaint.icon.enable-defaults", enableIconDefault. getSelectedObjects() != null)) {85 Boolean restart = Main.pref.put("mappaint.style.enable-defaults", enableDefault.isSelected()); 86 if(Main.pref.put("mappaint.icon.enable-defaults", enableIconDefault.isSelected())) { 87 87 restart = true; 88 88 }
Note:
See TracChangeset
for help on using the changeset viewer.
