| private CaretPositionChanged ( object sender, Mono.TextEditor.DocumentLocationEventArgs args ) : void | ||
| sender | object | |
| args | Mono.TextEditor.DocumentLocationEventArgs | |
| return | void | |
void CaretPositionChanged (object sender, DocumentLocationEventArgs args)
{
if (!caret.PreserveSelection)
this.ClearSelection ();
}
