changed some details in play/pause game button handling

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

A tube is just something to crawl around in and get lost.
Things outside the tube can't affect things inside, and vice versa.