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

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

You pick it up, it gives you 10 more units of time.
It has no effect in an untimed level (other than points).