def find_diff_tool(name): """ Find or create an instance of this diff tool. (DiffTool Factory) By default, create a generic TreeDiffTool, but do not register it; options added to this instance should not be shared with other instances. """ tool = ExternalTool.find('diff', name) if not tool: tool = TreeDiffTool(name) ExternalTool.check_path(name) return tool # The End.