added functions to check/force using "last played level sets" sub-menu

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

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