Marc Zinnschlag a5bbfff9e2 another layout correction		2014-10-19 13:43:40 +02:00
..
doc	user settings cleanup	2014-10-17 13:49:33 +02:00
filter	Tweak the look of the recordfilterbox. Keep titlebar if floating.	2014-09-23 20:51:14 +10:00
render	user settings cleanup	2014-10-17 13:49:33 +02:00
settings	another layout correction	2014-10-19 13:43:40 +02:00
tools	make delegates use the whole document instead of the undo stack	2014-08-23 12:25:12 +02:00
widget	rewrote run tool profile management	2014-09-13 18:53:35 +02:00
world	user settings cleanup	2014-10-17 13:49:33 +02:00