anchor.diff:    }
   
     /// Switches to a file. If the file is not opened and [forceOpen] is `true`,
  -  /// [selectFile] will be called instead. Otherwise the editor provide is
  +  /// [selectFile] will be called instead. Otherwise the editor provider is
     /// requested to switch the file to the editor in case the editor is shared.
     Future selectFile(Resource file,
                       {bool forceOpen: false, bool switchesTab: true,
  
positive.code:   final EditorProvider provider;
  
    ImageViewerTab(EditorArea parent, this.provider, this.imageViewer, Resource file)
      : super(parent, file) {
      page = imageViewer.element;
    }
  
  
negative.code: 
    Stream<String> get onNameChange => _nameController.stream;
  
    // TabView
    Tab add(EditorTab tab, {bool switchesTab: true}) {
      _tabOfFile[tab.file] = tab;
  