Ticket #16911: 16911-UndoRedo.patch

File 16911-UndoRedo.patch, 565 bytes (added by GerdP, 7 years ago)

  • src/org/openstreetmap/josm/gui/dialogs/CommandStackDialog.java

     
    373373        if (isVisible()) {
    374374            undoRoot.add(getNodeForCommand(e.getCommand()));
    375375            undoTreeModel.nodeStructureChanged(undoRoot);
     376            buildRedoTree();
    376377            ensureTreesConsistency();
    377378        }
    378379    }