3 commits

Author	SHA1	Message	Date
Marc Zinnschlag	612202a7a5	fixed several bugs in the layout algorithm of the toggle scene tool	2014-07-31 14:33:12 +02:00
Marc Zinnschlag	b0a9d17dc3	use name as a tooltip if no tooltip is given for scene tool bar toggle buttons	2014-07-31 13:26:23 +02:00
Marc Zinnschlag	71ce78f949	added scene toolbar toggle widget	2014-07-31 13:05:08 +02:00