eric6/WebBrowser/WebBrowserPage.py

changeset 7540
7a44cb47054b
parent 7380
c99320e859ca
child 7759
51aa6c6b66f7
--- a/eric6/WebBrowser/WebBrowserPage.py	Tue Apr 14 18:51:04 2020 +0200
+++ b/eric6/WebBrowser/WebBrowserPage.py	Wed Apr 15 19:17:07 2020 +0200
@@ -130,12 +130,13 @@
                 return False
         
         # GreaseMonkey
-        if PYQT_WEBENGINE_VERSION >= 0x50e00:       # PyQtWebEngine >= 5.14.0
+        try:
+            # PyQtWebEngine >= 5.14.0
             navigationType = type_ in [
                 QWebEnginePage.NavigationTypeLinkClicked,
                 QWebEnginePage.NavigationTypeRedirect
             ]
-        else:
+        except AttributeError:
             navigationType = type_ == QWebEnginePage.NavigationTypeLinkClicked
         if navigationType and url.toString().endswith(".user.js"):
             WebBrowserWindow.greaseMonkeyManager().downloadScript(url)

eric ide

mercurial