UI/UserInterface.py

branch
6_0_x
changeset 4400
8d4986c8d120
parent 4399
76cce1718c1c
child 4416
37265cbdd388
diff -r 76cce1718c1c -r 8d4986c8d120 UI/UserInterface.py
--- a/UI/UserInterface.py	Tue Aug 25 17:49:18 2015 +0200
+++ b/UI/UserInterface.py	Thu Aug 27 17:17:01 2015 +0200
@@ -3342,7 +3342,7 @@
         # Cocoa anymore
         # TODO: Change tools plug-ins to populate the menu statically
         # and just enabled the actions/menus accordingly
-        self.showMenu.emit("Tools", self.__menus["plugin_tools"])
+        self.showMenu.emit("PluginTools", self.__menus["plugin_tools"])
         
     def __showUserToolsMenu(self):
         """

eric ide

mercurial