Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/actions/PurgeAction.java
- Timestamp:
- 2017-09-13T16:30:27+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/PurgeAction.java
r12718 r12841 99 99 100 100 clearUndoRedo = cbClearUndoRedo.isSelected(); 101 Main.pref.put ("purge.clear_undo_redo", clearUndoRedo);101 Main.pref.putBoolean("purge.clear_undo_redo", clearUndoRedo); 102 102 } 103 103
Note:
See TracChangeset
for help on using the changeset viewer.