leanprover-community/lean4game

“Rules” selector not reset/out of sync when game is erased

Closed this issue · 0 comments

Steps to reproduce: On the main page, select „relaxed rules“. Erase the game state via the menu. Now „relaxed rules“ will still be selected, but regular rules are imposed. (I can only access the first level of the first planet.)