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 != ""));
}
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 != ""));
}