anchor.diff:  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';
  
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:   }
  }
  
  // TODO: This should be moved into the ui/ directory.
  class ActivitySpinner {
    Element element;
  
    ActivitySpinner(Spark spark, {id}) {
      element = spark.getUIElement(id);
    }
  
    void setShowing(bool showing) {
      element.style.opacity = showing ? '1' : '0';
    }
  }
  
  