Marc Zinnschlag 102397067c added interface for per edit-mode drop handling		2015-12-18 14:04:53 +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	added interface for per edit-mode drop handling	2015-12-18 14:04:53 +01:00
tools
widget
world	removed old user settings system	2015-12-15 12:49:55 +01:00