--- 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