public TextEditorDataState (TextEditorData editor, DocumentLocation caretPos, Selection selection) { this.editor = editor; undoCaretPos = caretPos; undoSelection = selection; redoCaretPos = editor.Caret.Location; redoSelection = editor.MainSelection; }