Changeset 14134 in josm for trunk/src/org/openstreetmap/josm/Main.java
- Timestamp:
- 2018-08-11T23:33:58+02:00 (8 years ago)
- File:
-
- 1 edited
-
trunk/src/org/openstreetmap/josm/Main.java (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r14133 r14134 71 71 /** 72 72 * The commands undo/redo handler. 73 */ 74 public final UndoRedoHandler undoRedo = new UndoRedoHandler(); 73 * @deprecated Use {@link UndoRedoHandler#getInstance} 74 */ 75 @Deprecated 76 public final UndoRedoHandler undoRedo = UndoRedoHandler.getInstance(); 75 77 76 78 /**
Note:
See TracChangeset
for help on using the changeset viewer.
