Helpviewer/History/HistoryMenu.py

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

eric ide

mercurial