src/eric7/Preferences/__init__.py

branch
server
changeset 10704
27d21e5163b8
parent 10680
306373ccf8fd
parent 10698
ed332f3d26a7
child 10707
3df56b1c9570
diff -r 306373ccf8fd -r 27d21e5163b8 src/eric7/Preferences/__init__.py
--- a/src/eric7/Preferences/__init__.py	Wed Apr 10 17:03:56 2024 +0200
+++ b/src/eric7/Preferences/__init__.py	Wed May 15 10:45:50 2024 +0200
@@ -280,6 +280,7 @@
             "application/x-genshi-text",
             "application/x-gettext",
             "application/x-gooddata-maql",
+            "application/x-groovy",
             "application/x-httpd-lasso",
             "application/x-httpd-lasso[89]",
             "application/x-httpd-lasso8",
@@ -482,6 +483,10 @@
             "*Pipfile",
             "*makefile",
             "*poetry.lock",
+            "*.groovy",
+            "*Jenkinsfile",
+            "*.jenkinsfile",
+            "Jenkinsfile.*",
         ],
     }
 
@@ -1344,6 +1349,14 @@
                 )
             )
 
+        if QtUtilities.qVersionTuple() >= (6, 7, 0):
+            # Qt 6.7+
+            cls.webBrowserDefaults["ForceDarkMode"] = (
+                webEngineSettings.testAttribute(
+                    QWebEngineSettings.WebAttribute.ForceDarkMode
+                )
+            )
+
         cls.webEngineSettingsIntitialized = True
 
     webEngineSettingsIntitialized = False
@@ -3316,6 +3329,7 @@
         "PushServiceEnabled",
         "NavigateOnDropEnabled",
         "ReadingFromCanvasEnabled",
+        "ForceDarkMode",
     ]:
         return toBool(
             Prefs.settings.value("WebBrowser/" + key, Prefs.webBrowserDefaults[key])

eric ide

mercurial