void RefreshTextViews()
{
foreach (var doc in documents)
{
roslynDocumentChangedService.RaiseDocumentChanged(doc.TextView.TextSnapshot);
}
}
void Workspace_WorkspaceChanged(object sender, WorkspaceChangeEventArgs e)
{
if (isDisposed)
{
return;
}
if (e.Kind != WorkspaceChangeKind.DocumentChanged)
{
return;
}
docChangedEventCount++;
if (docChangedEventCount != documents.Count)
{
return;
}
workspace.WorkspaceChanged -= Workspace_WorkspaceChanged;
foreach (var doc in documents)
{
roslynDocumentChangedService.RaiseDocumentChanged(doc.TextView.TextSnapshot);
}
}