From 330c7f4eaa2c31886f60ee7710bd3a3af55891d7 Mon Sep 17 00:00:00 2001
From: Kacper Donat <kadet1090@gmail.com>
Date: Sun, 5 May 2024 20:24:46 +0200
Subject: [PATCH] Gui: Remove redundant overlay header

Fixes: #13349
---
 src/Gui/OverlayManager.cpp | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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<QDockWidget*>(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<OverlayTitleBar*>(dw->titleBarWidget())) {
         dw->setTitleBarWidget(nullptr);
         delete titleBarWidget;
     }
+
     setupTitleBar(dw);
 }