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