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