private void RefreshTool(Tool tool) {
if (tool != null) {
tool.RefreshIcons();
if (tool != null && ToolChanged != null) {
toolEventArgs.Tool = tool;
ToolChanged(this, toolEventArgs);
}
}
}
/// <summary>
/// Adds a new tool to the toolbox.
/// </summary>
/// <param name="tool">CurrentTool to add</param>
/// <param name="isDefaultTool">If true, this tool becomes the default tool.</param>
public void AddTool(Tool tool, bool isDefaultTool) {
if (tool == null) throw new ArgumentNullException("tool");
tools.Add(tool);
tool.ToolExecuted += Tool_ToolExecuted;
if (tool is TemplateTool)
((TemplateTool)tool).Template.Shape.DisplayService = this;
tool.RefreshIcons();
if (isDefaultTool) defaultTool = tool;
//
if (ToolAdded != null) {
toolEventArgs.Tool = tool;
ToolAdded(this, toolEventArgs);
}
}
