anchor.diff:    String _tooltipContent(HoverInformation hover) =>
         hover.elementDescription ?? hover.staticType ?? hover.propagatedType;
   
  -  void _disposeTooltip() {
  -    _tooltipElement?.dispose();
  -  }
  +  void _disposeTooltip() => _tooltipElement?.dispose();
   
  -  @override
  -  void dispose() {
  -    _disposeTooltip();
  -  }
  +  void dispose() => _disposeTooltip();
   }
   
  -/// Basic tooltip element with single [String] content capable of attaching itself to a [TextEditor]
  -/// at a given position relative to its top,left corner.
  +/// Basic tooltip element with single [String] content capable of attaching
  +/// itself to a [TextEditor] at a given position relative to its top,left corner.
   class TooltipElement extends CoreElement {
     static const int _offset = 12;
   
  
positive.code: 
  final Logger _logger = new Logger('atom.tooltip');
  
  /// Controls the hover tooltip with type information feature, capable of installing the feature
  /// into every active .dart editor.
  class TooltipController implements Disposable {
    Disposables _disposables = new Disposables();
  
  
negative.code:     _root.addEventListener('mousemove', (html.Event event) {
        html.MouseEvent mouseEvent = event;
        if (!_isTooltipEnabled) return;
        if (!analysisServer.isActive) return;
  
        int offset = _offsetFromMouseEvent(mouseEvent);
  
  