search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
197 stars 35 forks source link

Don't show locked items in inventory. #265

Open miguelmarco opened 1 month ago

miguelmarco commented 1 month ago

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 commented 1 month ago

I created #266, that hides them with css.