def register_diff_tool(tool):
"""
Register a known diff tool, using an exemplar of its class.
This exemplar will be cloned to create a new instance on each tool
invocation, so any options provided to the exemplar will be used
for all other instances of this tool (as will the exemplar's class).
If the same tool is registered more than once, the last one wins.
"""
ExternalTool.register('diff', tool)
return
def register_diff_tool(tool):
"""
Register a known diff tool, using an exemplar of its class.
This exemplar will be cloned to create a new instance on each tool
invocation, so any options provided to the exemplar will be used
for all other instances of this tool (as will the exemplar's class).
If the same tool is registered more than once, the last one wins.
"""
ExternalTool.register('diff', tool)
return
