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 |