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