402 import Helpviewer.HelpWindow |
402 import Helpviewer.HelpWindow |
403 self.__closedTabsMenu.clear() |
403 self.__closedTabsMenu.clear() |
404 index = 0 |
404 index = 0 |
405 for tab in self.__tabWidget.closedTabsManager().allClosedTabs(): |
405 for tab in self.__tabWidget.closedTabsManager().allClosedTabs(): |
406 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
406 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
407 self.__closedTabsMenu.addAction( |
407 act = self.__closedTabsMenu.addAction( |
408 Helpviewer.HelpWindow.HelpWindow.icon(tab.url), title, |
408 Helpviewer.HelpWindow.HelpWindow.icon(tab.url), title) |
409 self.__tabWidget.restoreClosedTab).setData(index) |
409 act.setData(index) |
|
410 act.triggered.connect( |
|
411 lambda: self.__tabWidget.restoreClosedTab(act)) |
410 index += 1 |
412 index += 1 |
411 self.__closedTabsMenu.addSeparator() |
413 self.__closedTabsMenu.addSeparator() |
412 self.__closedTabsMenu.addAction( |
414 self.__closedTabsMenu.addAction( |
413 self.tr("Restore All Closed Tabs"), |
415 self.tr("Restore All Closed Tabs"), |
414 self.__tabWidget.restoreAllClosedTabs) |
416 self.__tabWidget.restoreAllClosedTabs) |