+2015-02-14
+ * fixed bug with editor border element not adjusted after resizing level
+
+2015-02-13
+ * added zoom functionality for playfield drawing area to level editor
+ (use left, right and middle mouse buttons on new "zoom" toolbox button
+ or use keys '-', '+' and '0' to zoom out, in or reset to default size)
+
+2015-02-11
+ * fixed bug not updating game panel values in visible warp forward mode
+
2015-02-10
* changed position of CE/GE use/save template gadgets to be visually
separated from other CE/GE gadgets (to prevent accidental use)