+2007-04-05
+ * fixed some general bugs with handling of ".active" elements and fonts
+
+2007-04-04
+ * cleanup of game panel elements (some elements were not really needed)
+ * added displaying of gravity state (on/off) as new game panel control
+ * added animation for game panel elements (similar to game elements)
+
+2007-04-03
+ * added new pseudo game mode "PANEL" to define panel fonts and graphics
+ - panel fonts now use ".PANEL" suffix instead of ".PLAYING" suffix
+ - panel graphics now use ".PANEL" suffix instead of ".DOOR" suffix
+ (else graphics would have to use ".PLAYING", which would be confusing)
+ * fixed bug when fading out to game screen with border mask defined
+
+2007-04-02
+ * added attribute ".tile_size" for element style game panel controls
+