public void SelectTool(Tool tool)
{
if (Editor != null)
Editor.ActiveTool = tool;
}
private void UpdateActiveToolMenuItem()
{
toolsToolStripMenuItem.Visible = View.Editor != null;
if (View.Editor == null)
return;
Tool activeTool = View.Editor.ActiveTool;
if (lastActiveTool == activeTool)
return;
lastActiveTool = activeTool;
MoveToolMenuItem.Checked = activeTool == Tools.Move;
PutStoneToolMenuItem.Checked = activeTool == Tools.Edit;
ScoreToolMenuItem.Checked = activeTool == Tools.Score;
TriangleToolMenuItem.Checked = activeTool == Tools.Triangle;
SquareToolMenuItem.Checked = activeTool == Tools.Square;
CircleToolMenuItem.Checked = activeTool == Tools.Circle;
TextLabelToolMenuItem.Checked = activeTool == Tools.Text;
NumberLabelToolMenuItem.Checked = activeTool == Tools.Number;
SymbolLabelToolMenuItem.Checked = activeTool == Tools.Symbol;
}
