anchor.diff:      document.title = appName;
   
       localPrefs = PreferenceStore.createLocal();
  -    syncPres = PreferenceStore.createSync();
  +    syncPrefs = PreferenceStore.createSync();
   
       addParticipant(new _SparkSetupParticipant(this));
   
  
positive.code:   void _handleThemeEvent(Event e) {
      String aceTheme = (e.target as SelectElement).value;
      editor.setTheme(aceTheme);
      syncPres.setValue('aceTheme', aceTheme);
    }
  
    void updateError(String string) {
  
negative.code:   Workspace workspace;
  
    PreferenceStore localPrefs;
    PreferenceStore syncPrefs;
  
    SplitView _splitView;
    FileItemView _filesView;
  