borderSide property

BorderSide borderSide
final

The border, or "rim", of this magnifier.

This border is drawn on a RoundedRectangleBorder with radius borderRadius, and increases the size of the magnifier by the BorderSide.width.

Implementation

final BorderSide borderSide;