anchor.diff:          allowsLabelBar: true);
     }
   
  -  void initProgressManager() {
  +  void initJobManager() {
       activitySpinner = new ActivitySpinner(this);
       activitySpinner.setShowing(false);
  +
  +    jobManager = new JobManager();
  +    jobManager.onChange.listen(onJobManagerData, onDone: onJobDone);
  +  }
  +
  +  void onJobManagerData(JobManagerEvent event) {
  +    /*%TRACE3*/ print("(4> 12/18/13): onJobManagerData!" + event.started.toString()); // TRACE%
  +    this.activitySpinner.setShowing(event.started);
  +  }
  +
  +  bool onJobDone(JobManagerEvent event) {
  +    /*%TRACE3*/ print("(4> 12/18/13): onJobDone!" + event.started.toString()); // TRACE%
     }
   
     void initEditorManager() {
  
positive.code:     switch (stage) {
        case 1:
          /*%TRACE3*/ print("(4> 12/18/13): 1!"); // TRACE%
          jobManager = new JobManager();
          job = new MockJob();
          jobManager.schedule(job);
          break;
  
negative.code:   }
  
    void testProgressBar() {
      MockJob job;
      Element button = getUIElement("#progressBar");
      String buttonTitle = button.text;
  