src/eric7/WebBrowser/TabManager/TabManagerWidget.py

branch
eric7
changeset 10069
435cc5875135
parent 9653
e67609152c5e
child 10439
21c28b0f9e41
equal deleted inserted replaced
10068:7febcdccb2a1 10069:435cc5875135
535 act2.setObjectName("closeSelection") 535 act2.setObjectName("closeSelection")
536 act2.triggered.connect(lambda: self.__processActions(act2)) 536 act2.triggered.connect(lambda: self.__processActions(act2))
537 537
538 menu.exec(self.__tree.viewport().mapToGlobal(pos)) 538 menu.exec(self.__tree.viewport().mapToGlobal(pos))
539 539
540 def mainWindowCreated(self, mainWin, refresh=True): 540 def mainWindowCreated(self, mainWin):
541 """ 541 """
542 Public method to act on the creation of a new web browser window. 542 Public method to act on the creation of a new web browser window.
543 543
544 @param mainWin reference to the web browser window 544 @param mainWin reference to the web browser window
545 @type WebBrowserWindow 545 @type WebBrowserWindow
546 @param refresh flag indicating to refresh the widget
547 @type bool
548 """ 546 """
549 mainWin.webBrowserWindowClosed.connect(self.delayedRefreshTree) 547 mainWin.webBrowserWindowClosed.connect(self.delayedRefreshTree)
550 mainWin.webBrowserWindowOpened.connect(self.mainWindowCreated) 548 mainWin.webBrowserWindowOpened.connect(self.mainWindowCreated)
551 mainWin.webBrowserOpened.connect(self.delayedRefreshTree) 549 mainWin.webBrowserOpened.connect(self.delayedRefreshTree)
552 mainWin.webBrowserClosed.connect(self.delayedRefreshTree) 550 mainWin.webBrowserClosed.connect(self.delayedRefreshTree)

eric ide

mercurial