anchor.diff:  // Use of this source code is governed by a BSD-style license that can be
   // found in the LICENSE file.
   
  +import 'dart:async';
  +import 'dart:math' as math;
  +
   import 'package:flutter/cupertino.dart';
   import 'package:flutter/gestures.dart';
   import 'package:flutter/material.dart';
   
  +import '../eval_on_dart_library.dart';
   import '../theme.dart';
   import '../ui/utils.dart';
   
  
positive.code: const _hoverCardBorderWidth = 2.0;
  const _hoverYOffset = 10;
  
  /// A card to display content while hovering over a widget.
  ///
  /// This widget will automatically remove itself after the mouse has entered
  
negative.code: 
      _overlayEntry = OverlayEntry(builder: (context) {
        return Positioned(
          left: math.max(0, position.dx - (width / 2.0)),
          top: position.dy + _hoverYOffset,
          child: MouseRegion(
            onExit: (_) {
  