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