I want the level editor's stateful Editor object to support redoing an undone edit with Editor.redo()…

I want the level editor's stateful Editor object to support redoing an undone edit with Editor.redo()…: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). Users should also be able to invoke the same redo command from the editor UI: the menubar should include a Redo…