8 commits

Author	SHA1	Message	Date
Marc Zinnschlag	be19da189a	fixed user settings not being saved when last document window is closed while user settings window is still open	2015-12-15 14:56:29 +01:00
Marc Zinnschlag	8245b9e439	added interface for querying settings	2015-12-11 11:50:06 +01:00
Marc Zinnschlag	b0fb6d56f1	added bool settings	2015-12-10 13:28:48 +01:00
Marc Zinnschlag	c61d717e41	added integer settings	2015-12-08 17:21:58 +01:00
Marc Zinnschlag	5e40b4d2e8	page switching mechanism	2015-12-08 12:04:45 +01:00
Marc Zinnschlag	0dc3d10112	some simplification	2015-12-08 09:56:42 +01:00
Marc Zinnschlag	b37a2ac09c	user settings categories	2015-12-06 12:06:28 +01:00
Marc Zinnschlag	36ce8f97d7	basic framework for new user settings system	2015-12-06 11:18:31 +01:00