private void updateCurrentTool(AppTool tool) { currentTool = tool; if (CurrentGraphPanel != null) { CurrentGraphPanel.CurrentTool = tool; } }