5 commits

Author	SHA1	Message	Date
Marc Zinnschlag	67cf260144	final batch of changing over user settings usage to the new system	2015-12-15 12:44:04 +01:00
scrawl	67bd6cd708	Remove empty line at the beginning of files ... git ls-files -z | xargs -0 sed -i '1{/^$/d}'	2015-08-18 23:06:12 +02:00
Marc Zinnschlag	8791832c86	standarised on the use of the Message struct when passing operations messages around	2015-06-20 17:56:42 +02:00
Marc Zinnschlag	1ee1934053	framework for accessing user settings in operation stages	2015-06-20 16:20:31 +02:00
Marc Zinnschlag	c0dfad23b3	Fixed editor operation multi-threading (Fixes #923)	2015-03-14 12:00:24 +01:00