public void Do(ToolCommandBase tool) { if (tool.Do()) { History.Push(tool); HistoryRedo.Clear(); } }
public void Do(ToolCommandBase tool) { if (tool.Do()) { History.Push(tool); HistoryRedo.Clear(); } }
public void Do(ToolCommandBase tool) { if (tool.Do()) { History.Push(tool); HistoryRedo.Clear(); } }
public void Do(ToolCommandBase tool) { if (tool.Do()) { History.Push(tool); HistoryRedo.Clear(); } }