/// <summary>
/// Deletes the given tool.
/// </summary>
public void DeleteTool(Tool tool) {
if (tool == null) throw new ArgumentNullException("tool");
if (tool == selectedTool) SelectDefaultTool(true);
if (tool == defaultTool)
if (tools.Count <= 0) defaultTool = null;
else defaultTool = tools[0];
tools.Remove(tool);
if (ToolRemoved != null) {
toolEventArgs.Tool = tool;
ToolRemoved(this, toolEventArgs);
}
tool.Dispose();
}
