diff -r dc9cd8059221 -r 630a68372016 UI/UserInterface.py
--- a/UI/UserInterface.py Sat May 20 16:13:23 2017 +0200
+++ b/UI/UserInterface.py Sat May 27 18:17:03 2017 +0200
@@ -3628,11 +3628,8 @@
"""
menu.clear()
- tbList = []
- for name, (text, tb) in list(self.__toolbars.items()):
- tbList.append((text, tb, name))
-
- for text, tb, name in sorted(tbList, key=lambda t: t[0]):
+ for name, (text, tb) in sorted(self.__toolbars.items(),
+ key=lambda t: t[1][0]):
act = menu.addAction(text)
act.setCheckable(True)
act.setChecked(not tb.isHidden())
