dimensions property

EdgeInsets dimensions

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