WebBrowser/TabManager/TabManagerWidget.py

changeset 6754
1177e27b0276
parent 6645
ad476851d7e0
equal deleted inserted replaced
6744:f5249a9927c9 6754:1177e27b0276
345 345
346 @param view reference to the web view 346 @param view reference to the web view
347 @type WebBrowserView 347 @type WebBrowserView
348 """ 348 """
349 if view: 349 if view:
350 view.page().loadFinished.connect(self.delayedRefreshTree) 350 view.loadFinished.connect(self.delayedRefreshTree)
351 view.page().loadStarted.connect(self.delayedRefreshTree) 351 view.loadStarted.connect(self.delayedRefreshTree)
352 view.titleChanged.connect(self.delayedRefreshTree) 352 view.titleChanged.connect(self.delayedRefreshTree)
353 view.faviconChanged.connect(self.delayedRefreshTree) 353 view.faviconChanged.connect(self.delayedRefreshTree)
354 354
355 @pyqtSlot() 355 @pyqtSlot()
356 def __refreshTree(self): 356 def __refreshTree(self):

eric ide

mercurial