public void undoPush(Restore r) { undoStack.Push(r); }
public void redoPush(Restore r) { redoStack.Push(r); }