Border scale(double t)

Creates a new border with the widths of this border multiplied by t.

Source

Border scale(double t) {
  return new Border(
    top: top.copyWith(width: t * top.width),
    right: right.copyWith(width: t * right.width),
    bottom: bottom.copyWith(width: t * bottom.width),
    left: left.copyWith(width: t * left.width)
  );
}