anchor.diff:      }
       if (needsUpdateSelection) {
         _treeView.selection = updatedSelection;
  +      _treeView.listViewSelectedChanged(null, []);
       }
     }
   
  
positive.code:         }
          _filesMap.remove(resource.uuid);
          // The current selection was deleted. No selected resource.
          selectFile(null);
          needsReloadData = true;
        } else if (change.type == EventType.RENAME) {
          // Update expanded state of the tree view.
  
negative.code:   }
  
    void selectFile(Resource file) {
  
      if (_currentFiles().isEmpty) {
        return;
  