public void Copy()
{
if (this.proc == null)
return;
if (FocusedTextView == null)
return;
var ms = new MemoryStream();
FocusedTextView.Selection.Save(ms, DataFormats.UnicodeText);
var text = new string(Encoding.Unicode.GetChars(ms.ToArray()));
Clipboard.SetData(DataFormats.UnicodeText, text);
}