2 Commits

Author	SHA1	Message	Date
wmayer	c176f714f1	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	fc845d6fae	0000641: Make Clipping-Plane-placement editable + support multiple planes	2013-07-08 17:18:46 +02:00