public void Push(NodesInfo UndoRedoBuffer)
{
try
{
this.stack.Push(UndoRedoBuffer);
this.callback(this, new EventArgs());
}
catch
{
}
}
public void Push(NodesInfo UndoRedoBuffer)
{
try
{
this.stack.Push(UndoRedoBuffer);
this.callback(this, new EventArgs());
}
catch
{
}
}
public NodesInfo Pop()
{
NodesInfo info = null;
try
{
info = stack.Pop();
this.callback(this, new EventArgs());
}
catch
{
}
return(info);
}
private bool DoRedo()
{
if ((this.redo.Depth > 0))
{
NodesInfo info = this.redo.Pop();
if (info != null)
{
this.HasSelection = false;
this.rootNode_ = info.RootNode;
this.multiSelectNode = null;
this.currentCaret = 0;
this.selectedNode = info.SelectedNode;
this.selectedNode.InternalMark = info.Mark;
this.lastSelectedNode = info.LastSelected;
return(true);
}
}
return(false);
}