7172737475767778798081
} public void reset() { final MapModel map = Controller.getCurrentController().getMap(); final IUndoHandler undoHandler = map.getExtension(IUndoHandler.class); undoHandler.resetRedo(); setEnabled(false); } public void setUndo(final Action undo) { this.undo = undo;