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
- changeset 6977
- 1ceea617d286
- parent 6976
- 66913de629f6
- child 6983
- edcd7d61644d
Preferences: fixed a bug caused by a forgotten web browser type conversion for the 'DnsPrefetchEnabled' key.
| eric6/Preferences/__init__.py | file | annotate | diff | comparison | revisions |
diff -r 66913de629f6 -r 1ceea617d286 eric6/Preferences/__init__.py --- a/eric6/Preferences/__init__.py Sat Apr 27 19:43:32 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]))
