anchor.diff:    }
   
     void setShowing(bool showing) {
  -    element.style.opacity = '0';
  +    element.style.opacity = showing ? '1' : '0';
     }
   
     ActivitySpinner._internal(Spark spark) {
  
positive.code:     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() {
  
negative.code: 
      switch (stage) {
        case 1:
          job = new MockJob();
          jobManager.schedule(job);
          break;
  
        case 2:
          break;
      }
    }
  