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