+2015-02-03
+ * finished configurability of tape date and time display positions
+
+2015-02-02
+ * fixed configurability of editor element palette (for columns != 4)
+
+2015-01-29
+ * improved configurability of tape date and time display positions
+ * added configurability of element properties button in editor
+ * added build dependency for auto-conf files
+
+2015-01-27
+ * added looking for editor element descriptions in level set directory
+ (for example, in file "<my-level-folder>/docs/elements/custom_1.txt")
+
2015-01-25
* moved "element properties" button in editor from toolbox to palette
* added "zoom level tile size" button in editor to toolbox (currently
no function behind it; will be used to zoom level editor playfield)
* added key shortcuts '1' to '3' to view properties of drawing elements
+ * fixed gadget display bug in editor (door 1 area) after test playing
+ * fixed bugs when changing drawing area gadgets (like group elements)
2015-01-19
* re-enabled editor palette element options in setup configuration file