WebBrowser/WebBrowserWindow.py

changeset 6657
c6a93bbd66a5
parent 6645
ad476851d7e0
child 6695
0a51887c13cd
equal deleted inserted replaced
6656:273a2130adbe 6657:c6a93bbd66a5
671 "JavaScriptCanPaste")) 671 "JavaScriptCanPaste"))
672 settings.setAttribute( 672 settings.setAttribute(
673 QWebEngineSettings.WebRTCPublicInterfacesOnly, 673 QWebEngineSettings.WebRTCPublicInterfacesOnly,
674 Preferences.getWebBrowser( 674 Preferences.getWebBrowser(
675 "WebRTCPublicInterfacesOnly")) 675 "WebRTCPublicInterfacesOnly"))
676 except (AttributeError, KeyError):
677 pass
678
679 try:
680 # Qt 5.12
681 settings.setAttribute(
682 QWebEngineSettings.DnsPrefetchEnabled,
683 Preferences.getWebBrowser(
684 "DnsPrefetchEnabled"))
676 except (AttributeError, KeyError): 685 except (AttributeError, KeyError):
677 pass 686 pass
678 687
679 def __initActions(self): 688 def __initActions(self):
680 """ 689 """

eric ide

mercurial