eric6/WebBrowser/WebBrowserTabWidget.py

changeset 8220
006ee31b4835
parent 8218
7c09585bd960
child 8227
349308e84eeb
equal deleted inserted replaced
8219:013aee248a62 8220:006ee31b4835
1150 maxWidth = fm.horizontalAdvance('m') * 40 1150 maxWidth = fm.horizontalAdvance('m') * 40
1151 except AttributeError: 1151 except AttributeError:
1152 maxWidth = fm.width('m') * 40 1152 maxWidth = fm.width('m') * 40
1153 1153
1154 self.__closedTabsMenu.clear() 1154 self.__closedTabsMenu.clear()
1155 index = 0 1155 for index, tab in enumerate(self.__closedTabsManager.allClosedTabs()):
1156 for tab in self.__closedTabsManager.allClosedTabs():
1157 title = fm.elidedText(tab.title, Qt.TextElideMode.ElideRight, 1156 title = fm.elidedText(tab.title, Qt.TextElideMode.ElideRight,
1158 maxWidth) 1157 maxWidth)
1159 act = self.__closedTabsMenu.addAction( 1158 act = self.__closedTabsMenu.addAction(
1160 self.__mainWindow.icon(tab.url), title) 1159 self.__mainWindow.icon(tab.url), title)
1161 act.setData(index) 1160 act.setData(index)
1162 act.triggered.connect(lambda: self.restoreClosedTab(act)) 1161 act.triggered.connect(lambda: self.restoreClosedTab(act))
1163 index += 1
1164 self.__closedTabsMenu.addSeparator() 1162 self.__closedTabsMenu.addSeparator()
1165 self.__closedTabsMenu.addAction( 1163 self.__closedTabsMenu.addAction(
1166 self.tr("Restore All Closed Tabs"), self.restoreAllClosedTabs) 1164 self.tr("Restore All Closed Tabs"), self.restoreAllClosedTabs)
1167 self.__closedTabsMenu.addAction( 1165 self.__closedTabsMenu.addAction(
1168 self.tr("Clear List"), self.clearClosedTabsList) 1166 self.tr("Clear List"), self.clearClosedTabsList)

eric ide

mercurial