Mercurial Repositories > eric / changeset
changeset
Preferences: fixed a bug caused by a forgotten web browser type conversion for the 'DnsPrefetchEnabled' key.
Sun, 28 Apr 2019 11:14:43 +0200
- author
- Detlev Offenbach <detlev@die-offenbachs.de>
- date
- Sun, 28 Apr 2019 11:14:43 +0200
- branch
- Variables Viewer
- changeset 6982
- 419c20ec6cd3
- parent 6981
- 36c616544659
- child 6988
- 87ad87ef1910
Preferences: fixed a bug caused by a forgotten web browser type conversion for the 'DnsPrefetchEnabled' key.
(grafted from 1ceea617d2861c5521ee330ea928c6ef27cf8a1e)
| eric6/Preferences/__init__.py | file | annotate | diff | comparison | revisions |
--- a/eric6/Preferences/__init__.py Mon Apr 22 15:16:38 2019 +0200 +++ b/eric6/Preferences/__init__.py Sun Apr 28 11:14:43 2019 +0200 @@ -3082,7 +3082,7 @@ "AllowWindowActivationFromJavaScript", "ShowScrollBars", "DownloadManagerAutoOpen", "DownloadManagerAutoClose", "PlaybackRequiresUserGesture", "JavaScriptCanPaste", - "WebRTCPublicInterfacesOnly", + "WebRTCPublicInterfacesOnly", "DnsPrefetchEnabled", ]: return toBool(prefClass.settings.value( "WebBrowser/" + key, prefClass.webBrowserDefaults[key]))
