WebBrowser/TabManager/TabManagerWidget.py

changeset 6754
1177e27b0276
parent 6645
ad476851d7e0
diff -r f5249a9927c9 -r 1177e27b0276 WebBrowser/TabManager/TabManagerWidget.py
--- a/WebBrowser/TabManager/TabManagerWidget.py	Thu Feb 14 18:57:31 2019 +0100
+++ b/WebBrowser/TabManager/TabManagerWidget.py	Thu Feb 14 19:17:11 2019 +0100
@@ -347,8 +347,8 @@
         @type WebBrowserView
         """
         if view:
-            view.page().loadFinished.connect(self.delayedRefreshTree)
-            view.page().loadStarted.connect(self.delayedRefreshTree)
+            view.loadFinished.connect(self.delayedRefreshTree)
+            view.loadStarted.connect(self.delayedRefreshTree)
             view.titleChanged.connect(self.delayedRefreshTree)
             view.faviconChanged.connect(self.delayedRefreshTree)
     

eric ide

mercurial