protected override void OnMouseDoubleClick(MouseEventArgs args)
{
base.OnMouseDoubleClick(args);
if (PickingTool != null)
{
PickingTool.Escape();
AddTool(PickingTool);
SelectedTool = PickingTool;
InvalidateRect(PickingTool.SurroundingRect);
PickingTool = null;
}
else if (SelectedTool != null)
{
SelectedTool.OnMouseDoubleClick(this, args);
}
}
