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

11 KiB

Raw Blame History

View Raw