With Qt6 on linux, we need to catch StyleChange here

diff --git a/src/frontends/qt/GuiViewSource.cpp b/src/frontends/qt/GuiViewSource.cpp
index 2688d7fb086386a2725a6b9f3b8a8d24ae24666a..5165c0eb7bcb347635010d046b006762e63c05c5 100644 (file)
--- 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_) {