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