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; }