anchor.diff:      _filesView = new FileItemView(workspace);
       _splitView = new SplitView(querySelector('#splitview'));
   
  -    syncPres.getValue('aceTheme').then((String value) {
  +    syncPrefs.getValue('aceTheme').then((String value) {
         if (value != null) {
           editor.setTheme(value);
           (querySelector("#editorTheme") as SelectElement).value = value;
  
positive.code:   Workspace workspace;
  
    PreferenceStore localPrefs;
    PreferenceStore syncPres;
  
    SplitView _splitView;
    FileItemView _filesView;
  
negative.code:   void _handleThemeEvent(Event e) {
      String aceTheme = (e.target as SelectElement).value;
      editor.setTheme(aceTheme);
      syncPrefs.setValue('aceTheme', aceTheme);
    }
  
    void updateError(String string) {
  