E5Gui/E5ToolBarManager.py

changeset 410
e5d1addeb90c
parent 55
b5c84934de9c
child 791
9ec2ac20e54e
equal deleted inserted replaced
409:0ea528e80202 410:e5d1addeb90c
301 301
302 toolBar = QToolBar(title, self.__mainWindow) 302 toolBar = QToolBar(title, self.__mainWindow)
303 toolBar.setToolTip(title) 303 toolBar.setToolTip(title)
304 index = 1 304 index = 1
305 customPrefix = "__CustomPrefix__" 305 customPrefix = "__CustomPrefix__"
306 name = "%s%d" % (customPrefix, index) 306 name = "{0}{1:d}".format(customPrefix, index)
307 while self.__toolBarByName(name) is not None: 307 while self.__toolBarByName(name) is not None:
308 index += 1 308 index += 1
309 name = "%s%d" % (customPrefix, index) 309 name = "{0}{1:d}".format(customPrefix, index)
310 toolBar.setObjectName(name) 310 toolBar.setObjectName(name)
311 self.__mainWindow.addToolBar(toolBar) 311 self.__mainWindow.addToolBar(toolBar)
312 312
313 tbID = id(toolBar) 313 tbID = id(toolBar)
314 self.__customToolBars.append(toolBar) 314 self.__customToolBars.append(toolBar)

eric ide

mercurial