Disallow undo/redo after Restart Game
Just call restart_game() from restart_game_cb()

I *think* these can be the same.
Ensure game is unpaused after Restart Game