public void EmptyUndoRedoBuffer() { RedoStack.EmptyUndoRedoBuffer(); RedoStack.PushChange(new KeyValuePair <int, String>(this.SelectionStart, this.Text)); }