public void RedoState () { editor.Caret.Location = redoCaretPos; editor.MainSelection = redoSelection; } }