borderSide property
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;