From 6bb72cc28c77b4f50464d0fe47d19c29ee5281b4 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Tue, 5 Sep 2023 12:01:17 +0200
Subject: [PATCH] With Qt6 on linux, we need to catch StyleChange here

---
 src/frontends/qt/GuiViewSource.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/frontends/qt/GuiViewSource.cpp b/src/frontends/qt/GuiViewSource.cpp
index 2688d7fb08..5165c0eb7b 100644
--- a/src/frontends/qt/GuiViewSource.cpp
+++ b/src/frontends/qt/GuiViewSource.cpp
@@ -320,7 +320,8 @@ bool ViewSourceWidget::eventFilter(QObject * obj, QEvent * ev)
 		goToCursor();
 		return true;
 	}
-	if (ev->type() == QEvent::ApplicationPaletteChange) {
+	if (ev->type() == QEvent::ApplicationPaletteChange
+	    || ev->type() == QEvent::StyleChange) {
 		// mode switch: colors need to be updated
 		// and the highlighting redone
 		if (highlighter_) {