Changeset 12638 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java
- Timestamp:
- 2017-08-25T00:57:47+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r12637 r12638 76 76 import org.openstreetmap.josm.gui.layer.AutosaveTask; 77 77 import org.openstreetmap.josm.gui.layer.MainLayerManager; 78 import org.openstreetmap.josm.gui.layer.OsmDataLayer.CommandQueueListener; 78 79 import org.openstreetmap.josm.gui.layer.TMSLayer; 79 80 import org.openstreetmap.josm.gui.preferences.ToolbarPreferences; … … 152 153 */ 153 154 private static final MainLayerManager layerManager = new MainLayerManager(); 155 156 /** 157 * Listener that sets the enabled state of undo/redo menu entries. 158 */ 159 private final CommandQueueListener redoUndoListener = (queueSize, redoSize) -> { 160 menu.undo.setEnabled(queueSize > 0); 161 menu.redo.setEnabled(redoSize > 0); 162 }; 154 163 155 164 /**
Note:
See TracChangeset
for help on using the changeset viewer.
