anchor.diff:      if (widget.onRowsPerPageChanged != null) {
         final List<Widget> availableRowsPerPage = widget.availableRowsPerPage
             .where((int value) =>
  -              value <= _rowCount || value == effectiveRowsPerPage)
  +              value <= _rowCount || value == _effectiveRowsPerPage)
             .map<DropdownMenuItem<int>>((int value) {
           return DropdownMenuItem<int>(
             value: value,
  
positive.code: import 'package:flutter/widgets.dart';
  
  import 'data_table_2.dart';
  
  /// In-place replacement of standard [PaginatedDataTable] widget, mimics it API.
  /// Has the header row and paginatior always fixed to top and bottom (correspondingly).
  
negative.code:       builder: (BuildContext context, BoxConstraints constraints) {
          bool isHeaderPresent = widget.header != null || widget.actions != null;
          if (widget.autoRowsToHeight) {
            _effectiveRowsPerPage = math.max(
                ((constraints.maxHeight -
                            widget.headingRowHeight -
                            8 * (widget.wrapInCard ? 1 : 0) // card paddings
  