public ExtendSelectionTo ( Mono.TextEditor.DocumentLocation location ) : void | ||
location | Mono.TextEditor.DocumentLocation | |
return | void |
public static void EndLineSelection(TextEditorData data) { int fromLine = data.MainSelection.Anchor.Line; int toLine = data.Caret.Line; var toSegment = data.Document.GetLine(toLine); //flip the anchor if pivoting around the origin line if (fromLine == toLine + 1) { if ((fromLine - data.MainSelection.Lead.Line) != 2) { var fromSegment = data.Document.GetLine(fromLine); data.SetSelection(fromSegment.EndOffsetIncludingDelimiter, toSegment.Offset); } else { data.SetSelection(toSegment.Offset, toSegment.EndOffsetIncludingDelimiter); } } //else just extend the selection else { int toOffset = (toLine < fromLine) ? toSegment.Offset : toSegment.EndOffsetIncludingDelimiter; data.ExtendSelectionTo(toOffset); } data.Caret.PreserveSelection = false; }
public static void EndSelection(TextEditorData data) { data.ExtendSelectionTo(data.Caret.Location); data.Caret.AutoScrollToCaret = true; data.Caret.PreserveSelection = false; }
public void DataCaretPositionChanged(object sender, DocumentLocationEventArgs e) { data.ExtendSelectionTo(data.Caret.Location); }
public static void EndSelection (TextEditorData data) { data.ExtendSelectionTo (data.Caret.Location); data.Caret.AutoScrollToCaret = true; data.Caret.PreserveSelection = false; }
public static void EndLineSelection (TextEditorData data) { int fromLine = data.MainSelection.Anchor.Line; int toLine = data.Caret.Line; var toSegment = data.Document.GetLine (toLine); //flip the anchor if pivoting around the origin line if (fromLine == toLine + 1) { if ((fromLine - data.MainSelection.Lead.Line) != 2) { var fromSegment = data.Document.GetLine (fromLine); data.SetSelection (fromSegment.EndOffset, toSegment.Offset); } else { data.SetSelection (toSegment.Offset, toSegment.EndOffset); } } //else just extend the selection else { int toOffset = (toLine < fromLine)? toSegment.Offset: toSegment.EndOffset; data.ExtendSelectionTo (toOffset); } data.Caret.PreserveSelection = false; }
public static void EndLineSelection (TextEditorData data) { int fromLine = data.MainSelection.Anchor.Line, toLine = data.Caret.Line; LineSegment toSegment = data.Document.GetLine (toLine); int toOffset = (toLine < fromLine)? toSegment.Offset: toSegment.EndOffset; data.ExtendSelectionTo (toOffset); data.Caret.PreserveSelection = false; }