Marc Zinnschlag 275bf854ed added new user setting: window/hide-subview (hide subview titlebar if there is only one subview in the window)		2014-10-27 08:57:18 +01:00
..
doc	added new user setting: window/hide-subview (hide subview titlebar if there is only one subview in the window)	2014-10-27 08:57:18 +01: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	added new user setting: window/hide-subview (hide subview titlebar if there is only one subview in the window)	2014-10-27 08:57:18 +01:00