Gui: Python support of workbench manipulation

2023-10-04 14:43:13 +02:00
parent c8fbe03eb1
commit bf31a2ce03
5 changed files with 216 additions and 0 deletions
--- a/src/Gui/WorkbenchManipulator.cpp
+++ b/src/Gui/WorkbenchManipulator.cpp
@@ -42,6 +42,11 @@ void WorkbenchManipulator::removeManipulator(const WorkbenchManipulator::Ptr& pt
    }
 }

+std::set<WorkbenchManipulator::Ptr> WorkbenchManipulator::getManipulators()
+{
+    return manipulators;
+}
+
 void WorkbenchManipulator::changeMenuBar(MenuItem* menuBar)
 {
    for (auto& it : manipulators) {