diff --git a/src/Gui/OverlayManager.cpp b/src/Gui/OverlayManager.cpp index 62d818c743..d5294315c0 100644 --- a/src/Gui/OverlayManager.cpp +++ b/src/Gui/OverlayManager.cpp @@ -1594,15 +1594,19 @@ void OverlayManager::onDockVisibleChange(bool visible) void OverlayManager::onDockFeaturesChange(QDockWidget::DockWidgetFeatures features) { Q_UNUSED(features); + auto dw = qobject_cast(sender()); - if (!dw) + + if (!dw) { return; + } // Rebuild the title widget as it may have a different set of buttons shown. - if (QWidget *titleBarWidget = dw->titleBarWidget()) { + if (auto *titleBarWidget = qobject_cast(dw->titleBarWidget())) { dw->setTitleBarWidget(nullptr); delete titleBarWidget; } + setupTitleBar(dw); }