void ClientDocumentReceived(LeapDocumentModel document)
{
if (document.Id == documentId)
{
using (var edit = textView.TextBuffer.CreateEdit())
{
edit.Replace(0, textView.TextBuffer.CurrentSnapshot.Length, document.Content);
edit.Apply();
}
}
client.UpdateCursor(textView.Caret.Position.BufferPosition.Position);
textView.TextBuffer.Changed += TextBufferChanged;
textView.Caret.PositionChanged += CaretPositionChanged;
}
