anchor.diff:    /// for example, due to a timer.
     /// TODO: bubbling. For now, just exact match.
     void dispatchEvent(ViewEvent e) {
  -    if (_inViewletEvent) {
  +    if (_inViewEvent) {
         // React does this too; see EVENT_SUPPRESSION
         print("ignored ${e.type} received while processing another event");
         return;
       }
  -    _inViewletEvent = true;
  +    _inViewEvent = true;
       try {
         print("\n### ${e.type}");
         if (e.targetPath != null) {
  
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:         }
        }
      } finally {
        _inViewEvent = false;
      }
    }
  
  