added game-panel-only buttons for stop/play/pause and sounds (for MM games)

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

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