added functions to check if game is over (and solved or not) (not used yet)
[rocksndiamonds.git] / src / -transparent
2018-09-12 Holger Schemelimproved clearing event queue after fading and after...