diff -r 76cce1718c1c -r 8d4986c8d120 UI/UserInterface.py --- 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): """