--- a/E5Gui/E5ToolBarManager.py Mon Jul 26 19:59:27 2010 +0200 +++ b/E5Gui/E5ToolBarManager.py Tue Jul 27 08:25:53 2010 +0200 @@ -303,10 +303,10 @@ toolBar.setToolTip(title) index = 1 customPrefix = "__CustomPrefix__" - name = "%s%d" % (customPrefix, index) + name = "{0}{1:d}".format(customPrefix, index) while self.__toolBarByName(name) is not None: index += 1 - name = "%s%d" % (customPrefix, index) + name = "{0}{1:d}".format(customPrefix, index) toolBar.setObjectName(name) self.__mainWindow.addToolBar(toolBar) @@ -676,4 +676,4 @@ """ if tbID not in self.__defaultToolBars: return [] - return self.__defaultToolBars[tbID][:] \ No newline at end of file + return self.__defaultToolBars[tbID][:]