WebBrowser/History/HistoryMenu.py

changeset 6122
e7d98249f393
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
equal deleted inserted replaced
6121:d3d64f3128b3 6122:e7d98249f393
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)

eric ide

mercurial