Gui: Disable changing workbench on tab bar scroll

Fixes: #14164
2024-06-10 16:36:20 +02:00
parent 3684dc6560
commit d1535e7827
2 changed files with 21 additions and 1 deletions
--- a/src/Gui/WorkbenchSelector.cpp
+++ b/src/Gui/WorkbenchSelector.cpp
@@ -428,3 +428,5 @@ void WorkbenchTabWidget::adjustSize()

    parentWidget()->adjustSize();
 }
+
+#include "moc_WorkbenchSelector.cpp"