Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.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/dialogs/ToggleDialog.java
r12678 r12841 773 773 protected void setIsShowing(boolean val) { 774 774 isShowing = val; 775 Main.pref.put (preferencePrefix+".visible", val);775 Main.pref.putBoolean(preferencePrefix+".visible", val); 776 776 stateChanged(); 777 777 } … … 782 782 } 783 783 isDocked = val; 784 Main.pref.put (preferencePrefix+".docked", val);784 Main.pref.putBoolean(preferencePrefix+".docked", val); 785 785 stateChanged(); 786 786 } … … 788 788 protected void setIsCollapsed(boolean val) { 789 789 isCollapsed = val; 790 Main.pref.put (preferencePrefix+".minimized", val);790 Main.pref.putBoolean(preferencePrefix+".minimized", val); 791 791 stateChanged(); 792 792 }
Note:
See TracChangeset
for help on using the changeset viewer.