MaxED de43f4f959 Apparently, we can no longer load a map named "MAP" after r2151. Let's warn a user about this unfortunate event.		2014-12-29 19:38:24 +00:00
..
Core	Apparently, we can no longer load a map named "MAP" after r2151. Let's warn a user about this unfortunate event.	2014-12-29 19:38:24 +00:00
Plugins	Fixed: some controls had inconsistent auto-scaling mode.	2014-12-24 18:32:24 +00:00