anchor.diff:            selectionMode: "start");
         return true;
       }, OverwriteEvent.EDIT));
  +
  +    // fix whitespace on browser resize
  +    _resizeSub = window.onResize.listen(_changeEventFunction((e) {
  +      _logger.fine('resize handler, updating width');
  +      // pad contents
  +      _updateWidth();
  +      return true;
  +    }, OverwriteEvent.PAD));
     }
   
     /// The contents of the element
  
positive.code:     // copy font style from element
      _widthEl.style.font = _element.getComputedStyle().font;
      // put element value in hidden element
      _widthEl.text = _element.value;
  
      _logger.fine('widening to ${_element.clientWidth}');
      // increase length of text in width element until it is as wide as input box
  
negative.code:       _cutSub.pause();
        _downSub.pause();
        _pressSub.pause();
        _resizeSub.pause();
      }
    }
  
  