anchor.diff:  
     final bool developerMode;
   
  -  JobManager _jobManager;
  +  JobManager jobManager = new JobManager();
     ActivitySpinner _activitySpinner;
   
     AceContainer _aceContainer;
  
positive.code:         allowsLabelBar: true);
    }
  
    void initJobManager() {
      _activitySpinner = new ActivitySpinner(this);
      _activitySpinner.setShowing(false);
  
      _jobManager = new JobManager();
      _jobManager.onChange.listen(onJobManagerData);
    }
  
    void onJobManagerData(JobManagerEvent event) {
      // TODO: This might cause the spinner to "blink" between jobs.
      bool showSpinner = (event.finished != true);
      this._activitySpinner.setShowing(showSpinner);
    }
  
    void initEditorManager() {
  
negative.code: import 'lib/git/git.dart';
  import 'lib/git/objectstore.dart';
  import 'lib/git/options.dart';
  import 'lib/jobs.dart';
  import 'lib/preferences.dart' as preferences;
  import 'lib/tests.dart';
  import 'lib/ui/files_controller.dart';
  