Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/gui/IconToggleButton.java
- Timestamp:
- 2017-09-13T16:30:27+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/IconToggleButton.java
r11553 r12841 120 120 Main.pref.put(getPreferenceKey(), null); 121 121 } else { 122 Main.pref.put (getPreferenceKey(), b);122 Main.pref.putBoolean(getPreferenceKey(), b); 123 123 } 124 124 }
Note:
See TracChangeset
for help on using the changeset viewer.