--- 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): """