4 Commits

Author	SHA1	Message	Date
scrawl	67bd6cd708	Remove empty line at the beginning of files ... git ls-files -z | xargs -0 sed -i '1{/^$/d}'	2015-08-18 23:06:12 +02:00
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