+2015-02-14
+ * fixed bug with editor border element not adjusted after resizing level
+ * changed unused playfield from "default" to "empty" after loading 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)
+ * fixed bug in editor when using undo after rotating level repeatedly
+ * added 'redo' functionality to editor (by pressing 'undo' with right
+ mouse button or by using key shortcut "Shift-R")
+
2015-02-04
* added configurability of editor control buttons (toolbox buttons)