Support redo in StateManager
Add redo under Edit submenu with undo