anchor.diff:  library slick.grid;
  +
   import 'dart:html';
   import 'dart:math' as math;
   import 'dart:async';
  
positive.code:    */
    void applyColumnWidths() {
      int x = 0, w;
      Map<String,CssStyleRule> rule;
      for (int i = 0; i < columns.length; i++) {
        w = columns[i].width;
  
  
negative.code:         }
          var absMinWidth = math.max(c.minWidth, absoluteColumnMinWidth);
          int shrinkSize = (shrinkProportion * (width - absMinWidth)).floor();
          if (shrinkSize == 0) shrinkSize = 1;
          shrinkSize = math.min(shrinkSize, width - absMinWidth);
          total -= shrinkSize;
          shrinkLeeway -= shrinkSize;
          widths[i] -= shrinkSize;
        }
        if (prevTotal == total) {
          // avoid infinite loop
          break;
        }
        prevTotal = total;
  