renamed panel option "game.panel.gems_total" to "game.panel.gems_needed"

[rocksndiamonds.git] / docs / elements / gate_4_gray.txt

Gray doors' real colors are kept hidden to the player,
making him/her guess which color key opens the door.