public void SelectionChanged(DiagramToolElement toolElement)
{
foreach (DiagramToolElement tool in tools) {
if (toolElement != tool) {
tool.active = false;
}
}
}
public void Add(DiagramToolElement element)
{
if (defaultTool == null) {
defaultTool = element;
}
tools.Add (element);
}