anchor.diff:          }
         }
       } finally {
  -      _inViewletEvent = false;
  +      _inViewEvent = false;
       }
     }
   
  
positive.code:     });
    }
  
    bool _inViewletEvent = false;
  
    /// Calls any event handlers in this tree.
    /// On return, there may be some dirty widgets to be re-rendered.
  
negative.code:   /// for example, due to a timer.
    /// TODO: bubbling. For now, just exact match.
    void dispatchEvent(ViewEvent e) {
      if (_inViewEvent) {
        // React does this too; see EVENT_SUPPRESSION
        print("ignored ${e.type} received while processing another event");
        return;
      }
      _inViewEvent = true;
      try {
        print("\n### ${e.type}");
        if (e.targetPath != null) {
  