void DocumentTabService_FileModified(object sender, DocumentModifiedEventArgs e)
{
AnalyzerTreeNodeData.HandleModelUpdated(TreeView.Root, e.Documents);
RefreshNodes();
}
void FileTabManager_FileModified(object sender, FileModifiedEventArgs e)
{
AnalyzerTreeNodeData.HandleModelUpdated(TreeView.Root, e.Files);
RefreshNodes();
}