UI/UserInterface.py

changeset 5092
d983e6405e45
parent 5011
4085e2348621
child 5100
2c193da9b94f
diff -r dfac14826e78 -r d983e6405e45 UI/UserInterface.py
--- a/UI/UserInterface.py	Thu Aug 11 16:13:37 2016 +0200
+++ b/UI/UserInterface.py	Mon Aug 15 16:27:49 2016 +0200
@@ -3543,7 +3543,7 @@
         for name, (text, tb) in list(self.__toolbars.items()):
             tbList.append((text, tb, name))
         
-        for text, tb, name in sorted(tbList):
+        for text, tb, name in sorted(tbList, key=lambda t: t[0]):
             act = menu.addAction(text)
             act.setCheckable(True)
             act.setChecked(not tb.isHidden())

eric ide

mercurial