5 Commits

Author	SHA1	Message	Date
Matthias Mailänder	5378b6225c	unhardcode and increase the exit delay	2015-07-05 20:50:31 +02:00
Paul Chote	b2050ae1aa	Use the map save dialog to set new map properties.	2015-06-20 22:32:14 +01:00
Paul Chote	60f96fcb7b	Overhaul save panel.	2015-05-17 12:09:41 +01:00
Matthias Mailänder	1f024a8695	Add menu plumbing for the new map editor.	2015-05-15 17:08:33 +01:00
Matthias Mailänder	ff6dbde8d7	move widget code to commons	2015-02-28 20:32:19 +01:00