381 self.__closedTabsMenu.clear() |
381 self.__closedTabsMenu.clear() |
382 index = 0 |
382 index = 0 |
383 for tab in self.__tabWidget.closedTabsManager().allClosedTabs(): |
383 for tab in self.__tabWidget.closedTabsManager().allClosedTabs(): |
384 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
384 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
385 self.__closedTabsMenu.addAction( |
385 self.__closedTabsMenu.addAction( |
386 Helpviewer.HelpWindow.HelpWindow.icon(tab.url), title, |
386 Helpviewer.HelpWindow.HelpWindow.icon(tab.url), title, |
387 self.__tabWidget.restoreClosedTab).setData(index) |
387 self.__tabWidget.restoreClosedTab).setData(index) |
388 index += 1 |
388 index += 1 |
389 self.__closedTabsMenu.addSeparator() |
389 self.__closedTabsMenu.addSeparator() |
390 self.__closedTabsMenu.addAction(self.trUtf8("Restore All Closed Tabs"), |
390 self.__closedTabsMenu.addAction(self.trUtf8("Restore All Closed Tabs"), |
391 self.__tabWidget.restoreAllClosedTabs) |
391 self.__tabWidget.restoreAllClosedTabs) |