From cbd16b3cee337af3e3f894812756697b322c7450 Mon Sep 17 00:00:00 2001
From: Uwe Kindler <uwe_kindler@web.de>
Date: Tue, 27 Jun 2023 10:18:38 +0200
Subject: [PATCH] Fixed nullptr access in DockWidgetTab

---
 src/DockWidgetTab.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/DockWidgetTab.cpp b/src/DockWidgetTab.cpp
index 4c9b0c2..b57619e 100644
--- a/src/DockWidgetTab.cpp
+++ b/src/DockWidgetTab.cpp
@@ -417,7 +417,10 @@ void CDockWidgetTab::mouseReleaseEvent(QMouseEvent* ev)
 			 break;
 
 		default:
-			d->focusController()->setDockWidgetTabPressed(false);
+			if (CDockManager::testConfigFlag(CDockManager::FocusHighlighting))
+			{
+				d->focusController()->setDockWidgetTabPressed(false);
+			}
 			break; // do nothing
 		}
 	}