4 Commits

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