changed some details in play/pause game button handling

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

This quicksand already contains a rock which can slide through it
and leave it if there is empty space below it.