Thu, 27 Aug 2015 17:17:01 +0200
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): """