cc9cii 815e832dbb Merge branch 'master' into mouse-picking-state		2014-10-27 18:57:42 +11:00
..
doc	Add user interface for top level window status-bar setting (implementation already existed). For feature #854.	2014-10-26 15:04:52 +10:00
filter	Tweak the look of the recordfilterbox. Keep titlebar if floating.	2014-09-23 20:51:14 +10:00
render	More cleanup.	2014-10-27 12:09:20 +11: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	More cleanup.	2014-10-27 12:09:20 +11:00