Marc Zinnschlag 98fa789904 fixed mixed-up tooltip		2014-08-12 11:07:54 +02:00
..
doc	added tooltip to user settings button on startup window	2014-07-13 10:52:33 +02:00
filter
render	Merge branch 'visibility'	2014-07-31 14:34:25 +02:00
settings
tools
widget	fixed mixed-up tooltip	2014-08-12 11:07:54 +02:00
world	added control element selector toolbar button	2014-07-31 14:33:38 +02:00