E5Gui/E5TabWidget.py

changeset 1694
648466a9451b
parent 1673
06eeffc8c97d
child 2075
6d3192a8a2d7
equal deleted inserted replaced
1693:9bb872e26a33 1694:648466a9451b
239 _tabbar = self.tabBar() 239 _tabbar = self.tabBar()
240 for index in range(_tabbar.count()): 240 for index in range(_tabbar.count()):
241 rect = _tabbar.tabRect(index) 241 rect = _tabbar.tabRect(index)
242 if rect.contains(point): 242 if rect.contains(point):
243 self.customTabContextMenuRequested.emit(_tabbar.mapToParent(point), index) 243 self.customTabContextMenuRequested.emit(_tabbar.mapToParent(point), index)
244 break 244 return
245
246 self.customTabContextMenuRequested.emit(_tabbar.mapToParent(point), -1)
245 247
246 def selectTab(self, pos): 248 def selectTab(self, pos):
247 """ 249 """
248 Public method to get the index of a tab given a position. 250 Public method to get the index of a tab given a position.
249 251

eric ide

mercurial