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 'package:dquery/dquery.dart';
  
  import 'lib/ace.dart';
  import 'lib/actions.dart';
  import 'lib/analytics.dart' as analytics;
  import 'lib/app.dart';
  