Marc Zinnschlag aad13e6bff close view when closing last sub-view unless this view is the last view		2014-10-25 18:13:56 +02:00
..
doc	close view when closing last sub-view unless this view is the last view	2014-10-25 18:13:56 +02:00
filter	Tweak the look of the recordfilterbox. Keep titlebar if floating.	2014-09-23 20:51:14 +10:00
render	Merge branch 'settings'	2014-10-19 13:44:15 +02:00
settings	Merge branch 'settings'	2014-10-19 13:44:15 +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	close view when closing last sub-view unless this view is the last view	2014-10-25 18:13:56 +02:00