WebBrowser/TabManager/TabManagerWidget.py

changeset 5039
200f12184a43
parent 4979
7ac0959842f9
child 5389
9b1c800daff3
equal deleted inserted replaced
5038:df7103c3f2a6 5039:200f12184a43
348 """ 348 """
349 if view: 349 if view:
350 view.page().loadFinished.connect(self.delayedRefreshTree) 350 view.page().loadFinished.connect(self.delayedRefreshTree)
351 view.page().loadStarted.connect(self.delayedRefreshTree) 351 view.page().loadStarted.connect(self.delayedRefreshTree)
352 view.titleChanged.connect(self.delayedRefreshTree) 352 view.titleChanged.connect(self.delayedRefreshTree)
353 view.iconChanged.connect(self.delayedRefreshTree) 353 view.faviconChanged.connect(self.delayedRefreshTree)
354 354
355 @pyqtSlot() 355 @pyqtSlot()
356 def __refreshTree(self): 356 def __refreshTree(self):
357 """ 357 """
358 Private slot to referesh the tree. 358 Private slot to referesh the tree.

eric ide

mercurial