eric6/WebBrowser/WebBrowserPage.py

changeset 7540
7a44cb47054b
parent 7380
c99320e859ca
child 7759
51aa6c6b66f7
equal deleted inserted replaced
7539:d6d4d83dad4c 7540:7a44cb47054b
128 if url.scheme() == "abp": 128 if url.scheme() == "abp":
129 if WebBrowserWindow.adBlockManager().addSubscriptionFromUrl(url): 129 if WebBrowserWindow.adBlockManager().addSubscriptionFromUrl(url):
130 return False 130 return False
131 131
132 # GreaseMonkey 132 # GreaseMonkey
133 if PYQT_WEBENGINE_VERSION >= 0x50e00: # PyQtWebEngine >= 5.14.0 133 try:
134 # PyQtWebEngine >= 5.14.0
134 navigationType = type_ in [ 135 navigationType = type_ in [
135 QWebEnginePage.NavigationTypeLinkClicked, 136 QWebEnginePage.NavigationTypeLinkClicked,
136 QWebEnginePage.NavigationTypeRedirect 137 QWebEnginePage.NavigationTypeRedirect
137 ] 138 ]
138 else: 139 except AttributeError:
139 navigationType = type_ == QWebEnginePage.NavigationTypeLinkClicked 140 navigationType = type_ == QWebEnginePage.NavigationTypeLinkClicked
140 if navigationType and url.toString().endswith(".user.js"): 141 if navigationType and url.toString().endswith(".user.js"):
141 WebBrowserWindow.greaseMonkeyManager().downloadScript(url) 142 WebBrowserWindow.greaseMonkeyManager().downloadScript(url)
142 return False 143 return False
143 144

eric ide

mercurial