Changed the menu name emitted in the showMenu signal for the global plug-in tools menu.

Thu, 27 Aug 2015 17:17:01 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 27 Aug 2015 17:17:01 +0200
changeset 4396
17373689237b
parent 4395
6a13466ac768
child 4397
64d36562c391

Changed the menu name emitted in the showMenu signal for the global plug-in tools menu.

UI/UserInterface.py file | annotate | diff | comparison | revisions
--- 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