UI/UserInterface.py

changeset 4396
17373689237b
parent 4392
7ce50a66cff0
child 4398
a86ce24f2398
--- a/UI/UserInterface.py	Thu Aug 27 17:14:42 2015 +0200
+++ b/UI/UserInterface.py	Thu Aug 27 17:17:01 2015 +0200
@@ -3350,7 +3350,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