void CopySelectionToClipboard(Selection selection) { if (selection.IsEmpty) { return; } WpfUtilities.SetClipboardText(this.Buffer.TextData.ToString(selection.Range.Start, selection.Range.End)); }
void DeleteSelection(Selection selection) { Debug.Assert(!selection.IsEmpty, "Can't delete an empty selection"); if ((selection.TopVirtualSpaces > 0) && (selection.BottomVirtualSpaces > 0) && (selection.Span.Start.Line == selection.Span.End.Line)) { // No change to document, only deleting virtual space. MoveCaret(selection.Span.Start, false); return; } ReplaceText(selection.Range.Start, selection.Range.End, TextData.FromString(new string(' ', selection.TopVirtualSpaces)), true); }