From 0948f73bf84c9e699d4767c087ef007c1ab201cc Mon Sep 17 00:00:00 2001
From: Uwe Kindler <uwe_kindler@web.de>
Date: Tue, 30 Jun 2020 11:45:23 +0200
Subject: [PATCH] Properly reset DockManager pointer when removing DockWidget
 from DockManager

---
 src/DockManager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/DockManager.cpp b/src/DockManager.cpp
index e143a63..95e4fac 100644
--- a/src/DockManager.cpp
+++ b/src/DockManager.cpp
@@ -708,6 +708,7 @@ void CDockManager::removeDockWidget(CDockWidget* Dockwidget)
 	emit dockWidgetAboutToBeRemoved(Dockwidget);
 	d->DockWidgetsMap.remove(Dockwidget->objectName());
 	CDockContainerWidget::removeDockWidget(Dockwidget);
+	Dockwidget->setDockManager(nullptr);
 	emit dockWidgetRemoved(Dockwidget);
 }