E5Gui/E5ToolBarManager.py

changeset 410
e5d1addeb90c
parent 55
b5c84934de9c
child 791
9ec2ac20e54e
--- 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][:]

eric ide

mercurial