Preferences/__init__.py

branch
maintenance
changeset 6693
3629d88ae235
parent 6646
51eefa621de4
parent 6657
c6a93bbd66a5
child 6826
c6dda2cbe081
--- a/Preferences/__init__.py	Thu Jan 10 14:23:49 2019 +0100
+++ b/Preferences/__init__.py	Sat Feb 02 11:12:54 2019 +0100
@@ -499,6 +499,9 @@
         "MouseClickHandlersEnabled": True,
         
         "ShowMarkerMapOnRight": True,
+        "ShowMarkerChanges": True,
+        "ShowMarkerCoverage": True,
+        "ShowMarkerSearch": True,
         
         # All (most) lexers
         "AllFoldCompact": True,
@@ -1316,6 +1319,15 @@
             })
         except AttributeError:
             pass
+        try:
+            # Qt 5.12+
+            cls.webBrowserDefaults.update({
+                "DnsPrefetchEnabled":
+                    webEngineSettings.testAttribute(
+                        QWebEngineSettings.DnsPrefetchEnabled),
+            })
+        except AttributeError:
+            pass
         
         cls.webEngineSettingsIntitialized = True
     

eric ide

mercurial