anchor.diff:      _editorArea = new EditorArea(querySelector('#editorArea'), editorManager,
           _workspace, allowsLabelBar: true);
   
  -    _syncPrefs.getValue('textFileExtensions').then((String value) {
  +    syncPrefs.getValue('textFileExtensions').then((String value) {
         if (value != null) {
           _textFileExtensions.addAll(JSON.decode(value));
         }
  
positive.code:       _textFileExtensions.remove(extension);
      }
  
      _syncPrefs.setValue('textFileExtensions',
          JSON.encode(_textFileExtensions.toList()));
    }
  
  
negative.code:   LaunchManager get launchManager => _launchManager;
    PubManager get pubManager => _pubManager;
  
    preferences.PreferenceStore get localPrefs => preferences.localStore;
    preferences.PreferenceStore get syncPrefs => preferences.syncStore;
  
    ActionManager get actionManager => _actionManager;
  
  