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) ); }