anchor.diff:    ///
     /// See also:
     ///
  -  ///  * [new SliverGrid.extent], the equivalent constructor for [SliverGrid].
  +  ///  * [SliverGrid.extent], the equivalent constructor for [SliverGrid].
     GridView.extent({
       Key key,
       Axis scrollDirection = Axis.vertical,
  
positive.code: /// [SliverGrid.delegate] property, and the [gridDelegate] property on the
  /// [GridView] corresponds to the [SliverGrid.gridDelegate] property.
  ///
  /// The [new GridView], [new GridView.count], and [new GridView.extent]
  /// constructors' `children` arguments correspond to the [childrenDelegate]
  /// being a [SliverChildListDelegate] with that same argument. The [new
  /// GridView.builder] constructor's `itemBuilder` and `childCount` arguments
  /// correspond to the [childrenDelegate] being a [SliverChildBuilderDelegate]
  /// with the matching arguments.
  ///
  /// The [new GridView.count] and [new GridView.extent] constructors create
  /// custom grid delegates, and have equivalently named constructors on
  /// [SliverGrid] to ease the transition: [new SliverGrid.count] and [new
  /// SliverGrid.extent] respectively.
  ///
  /// The [padding] property corresponds to having a [SliverPadding] in the
  /// [CustomScrollView.slivers] property instead of the grid itself, and having
  
negative.code:   /// child that could possibly be displayed in the list view instead of just
    /// those children that are actually visible.
    ///
    /// It is usually more efficient to create children on demand using
    /// [ListView.builder].
    ///
    /// The `addAutomaticKeepAlives` argument corresponds to the
    /// [SliverChildListDelegate.addAutomaticKeepAlives] property. The
  