예제 #1
0
 internal void Refresh()
 {
     if (currentTree != null)
     {
         currentTree.RefreshTree();
         SelectionChanged();
     }
 }
예제 #2
0
 /// <summary>
 /// The project has changed, so refresh the tree
 /// </summary>
 private void ProjectModified(String[] paths)
 {
     tree.RefreshTree(paths);
 }
예제 #3
0
 private void ProjectModified(string[] paths)
 {
     // the project has changed, so refresh the tree
     tree.RefreshTree(paths);
 }