public void Redo() { if (!CurrentMapCtrl.MapView.NodeTextEditor.IsTextEditing) { ChangeManager.Redo(); } }
public void Redo_WithEmptyStack() { ChangeManager manager = new ChangeManager(); manager.Redo(); }
public void Redo() { if (!CurrentMapCtrl.MapView.NodeTextEditor.IsTextEditing) { ChangeManager.Redo(); } }
public void Redo_WithEmptyStack() { ChangeManager manager = new ChangeManager(); manager.Redo(); }