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

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

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 27 Aug 2015 17:17:01 +0200
branch
6_0_x
changeset 4400
8d4986c8d120
parent 4399
76cce1718c1c
child 4401
4c0aea7ff05f

Changed the menu name emitted in the showMenu signal for the global plug-in tools menu.
(grafted from 17373689237b28fde59fa73a3b54165077caad81)

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