public void PushRedo(IHistorySharp history) { RedoCollection.Add(history); }
public void PushHistory(IHistorySharp history) { HistoryCollection.Add(history); }