/// <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(); }