422 import WebBrowser.WebBrowserWindow |
422 import WebBrowser.WebBrowserWindow |
423 self.__closedTabsMenu.clear() |
423 self.__closedTabsMenu.clear() |
424 index = 0 |
424 index = 0 |
425 for tab in self.__tabWidget.closedTabsManager().allClosedTabs(): |
425 for tab in self.__tabWidget.closedTabsManager().allClosedTabs(): |
426 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
426 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
427 self.__closedTabsMenu.addAction( |
427 act = self.__closedTabsMenu.addAction( |
428 WebBrowser.WebBrowserWindow.WebBrowserWindow.icon(tab.url), |
428 WebBrowser.WebBrowserWindow.WebBrowserWindow.icon(tab.url), |
429 title, |
429 title) |
430 self.__tabWidget.restoreClosedTab).setData(index) |
430 act.setData(index) |
|
431 act.triggered.connect( |
|
432 lambda: self.__tabWidget.restoreClosedTab(act)) |
431 index += 1 |
433 index += 1 |
432 self.__closedTabsMenu.addSeparator() |
434 self.__closedTabsMenu.addSeparator() |
433 self.__closedTabsMenu.addAction( |
435 self.__closedTabsMenu.addAction( |
434 self.tr("Restore All Closed Tabs"), |
436 self.tr("Restore All Closed Tabs"), |
435 self.__tabWidget.restoreAllClosedTabs) |
437 self.__tabWidget.restoreAllClosedTabs) |