public void SaveDocument() { if (_document != null) { DocumentManager.SaveDocument(_document); Modified = false; UndoRedo.EmptyUndoBuffer(); OnTextChanged(null); CurrentPos = Tag != null ? (int)Tag : 0; } }