anchor.diff:          _handleUncaughtException(r.error, r.stackTrace);
         }
       });
  -  }
  -
  -  void initWorkspace() {
  -    _workspace = new ws.Workspace(localPrefs, jobManager);
     }
   
     void initScmManager() {
  
positive.code:   }
  
    Future restoreWorkspace() {
      return workspace.restore().then((value) {
        if (workspace.getFiles().length == 0) {
          // No files, just focus the editor.
          aceManager.focus();
        }
      });
    }
  
    Future restoreLocationManager() {
      return filesystem.restoreManager(localPrefs);
    }
  
    //
  
negative.code:   // Parts of init():
    //
  
    Future initPreferences() {
      prefs = new preferences.SparkPreferences(localPrefs);
  
      return LocalStateManager.create().then((StateManager state) {
        dependencies[StateManager] = state;
      });
    }
  