- Anonymous
Author | Committer | Branch | Timestamp | Parent |
---|---|---|---|---|
wmayer | wmayer | master | 2020-09-04 09:54:52 | master aa6f0603 |
Changeset | Gui: make Clipping widget a dockable widget so that it can be used while a task dialog is open | |||
mod - src/Gui/Clipping.cpp | Diff File | |||
mod - src/Gui/Clipping.h | Diff File | |||
mod - src/Gui/Clipping.ui | Diff File | |||
mod - src/Gui/CommandView.cpp | Diff File |