4 Commits

Author	SHA1	Message	Date
wmayer	4d4267481f	Gui: modernize C++: use override	2023-08-04 17:09:53 +02:00
wmayer	3d90279c12	Gui: fix -Wclazy-connect-by-name	2023-04-05 00:44:13 +02:00
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