void CaretPositionChanged (object sender, DocumentLocationEventArgs args) { if (!caret.PreserveSelection) this.ClearSelection (); }