--- a/eric6/WebBrowser/FeaturePermissions/FeaturePermissionManager.py Thu Aug 29 19:00:33 2019 +0200 +++ b/eric6/WebBrowser/FeaturePermissions/FeaturePermissionManager.py Thu Aug 29 19:02:14 2019 +0200 @@ -68,6 +68,14 @@ }) except AttributeError: pass + try: + # this was re-added in Qt 5.13.0 + self.__featurePermissions[QWebEnginePage.Notifications] = { + QWebEnginePage.PermissionGrantedByUser: [], + QWebEnginePage.PermissionDeniedByUser: [], + } + except AttributeError: + pass self.__featurePermissionsKeys = { (QWebEnginePage.Geolocation, @@ -119,6 +127,18 @@ }) except AttributeError: pass + try: + # this was re-added in Qt 5.13.0 + self.__featurePermissionsKeys.update({ + (QWebEnginePage.Notifications, + QWebEnginePage.PermissionGrantedByUser): + "NotificationsGranted", + (QWebEnginePage.Notifications, + QWebEnginePage.PermissionDeniedByUser): + "NotificationsDenied", + }) + except AttributeError: + pass self.__loaded = False