dimensions property
The widths of the sides of this border represented as an EdgeInsets.
This can be used, for example, with a Padding widget to inset a box by the size of these borders.
Implementation
EdgeInsets get dimensions {
return EdgeInsets.fromLTRB(left.width, top.width, right.width, bottom.width);
}