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