public void updateUndoMenu(MenuBuilder editMenu) { string undoName = this.getNextUndoName(); string redoName = this.getNextRedoName(); editMenu.setItemName(0, "Undo " + undoName); editMenu.setItemName(1, "Redo " + redoName); editMenu.enableItem(0, (undoName != "")); editMenu.enableItem(1, (redoName != "")); }
public void updateUndoMenu(MenuBuilder editMenu) { // TODO: If we ever fix the TerrainEditor and WorldEditor // to have descriptive UndoAction names then we can change // the text as part of the menu update. string undoName = this.getNextUndoName(); string redoName = this.getNextRedoName(); editMenu.setItemName(0, "Undo " + undoName); editMenu.setItemName(1, "Redo " + redoName); editMenu.enableItem(0, (undoName != "")); editMenu.enableItem(1, (redoName != "")); }