2 Commits

Author	SHA1	Message	Date
wmayer	e9b744b2a6	Gui: make Clipping widget a dockable widget so that it can be used while a task dialog is open	2020-09-04 11:54:52 +02:00
wmayer	0fceb9061a	0000641: Make Clipping-Plane-placement editable + support multiple planes	2013-07-08 17:18:46 +02:00