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	Fixed filter reapplication on Description column change and on State	2015-10-16 11:32:22 +10:00
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	third batch of changing over user settings usage to the new system	2015-12-15 10:40:00 +01:00
widget
world	removed old user settings system	2015-12-15 12:49:55 +01:00