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