added optional button to restart game (door, panel and touch variants)

[rocksndiamonds.git] / elements / sp_gravity_off_port.txt

These ports look like ordinary ports in-game, but when you go through them,
gravity is switched off.