* Prevent undo if game has already ended. Probably related to #433.