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
..
doc	final batch of changing over user settings usage to the new system	2015-12-15 12:44:04 +01:00
filter
prefs	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
render	removed old user settings system	2015-12-15 12:49:55 +01:00
tools
widget
world	removed old user settings system	2015-12-15 12:49:55 +01:00