eric6/WebBrowser/WebBrowserTabWidget.py

changeset 7366
bd743eacfbca
parent 7360
9190402e4505
child 7514
0960c7c1f497
equal deleted inserted replaced
7365:da7e4df94076 7366:bd743eacfbca
1132 def __aboutToShowClosedTabsMenu(self): 1132 def __aboutToShowClosedTabsMenu(self):
1133 """ 1133 """
1134 Private slot to populate the closed tabs menu. 1134 Private slot to populate the closed tabs menu.
1135 """ 1135 """
1136 fm = self.__closedTabsMenu.fontMetrics() 1136 fm = self.__closedTabsMenu.fontMetrics()
1137 maxWidth = fm.width('m') * 40 1137 try:
1138 maxWidth = fm.horizontalAdvance('m') * 40
1139 except AttributeError:
1140 maxWidth = fm.width('m') * 40
1138 1141
1139 self.__closedTabsMenu.clear() 1142 self.__closedTabsMenu.clear()
1140 index = 0 1143 index = 0
1141 for tab in self.__closedTabsManager.allClosedTabs(): 1144 for tab in self.__closedTabsManager.allClosedTabs():
1142 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) 1145 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth)

eric ide

mercurial