Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't show locked items in inventory. #265

Open
miguelmarco opened this issue Oct 10, 2024 · 1 comment
Open

Don't show locked items in inventory. #265

miguelmarco opened this issue Oct 10, 2024 · 1 comment

Comments

@miguelmarco
Copy link
Contributor

When you start playing a game that eventually unlocks a lot of theorems/definitions/tactics, you see them in the inventory from the beginning (in a different color and with a lock sign, but they are visible). This can be overwhelming for the people that play the game from the beginning.

I propose to only show the items that are unlocked. This would also have the advantage of making the progress in the game more rewarding for the player, since (s)he would see the inventory grow as (s)he progresses in the game.

miguelmarco added a commit to miguelmarco/lean4game that referenced this issue Oct 10, 2024
@miguelmarco
Copy link
Contributor Author

I created #266, that hides them with css.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant