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