Changeset 12696 in josm

Timestamp:

2017-08-29T22:28:55+02:00 (7 years ago)

Author:

Don-vip

Message:

see #15182 - remove deprecation of Main.undoRedo until I figure how to deal with this class

File:

• trunk/src/org/openstreetmap/josm/Main.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/Main.java

@@ -136 +136 @@
     /**
      * The commands undo/redo handler.
-     * @deprecated Use {@link MainApplication#undoRedo} instead
-     */
-    @Deprecated
+     */
     public final UndoRedoHandler undoRedo = MainApplication.undoRedo;