DashedPainter is a custom painter that draws a dashed line around the
child widget. The strokeWidth property defines the width of the dashed
border and color determines the stroke paint color. CircularIntervalList
is populated with the dashPattern to render the appropriate pattern. The
radius property is taken into account only if the borderType is
BorderType.RRect. A customPath can be passed in as a parameter if you
want to draw a custom shaped border.
Add a dotted border around any child widget. The strokeWidth property
defines the width of the dashed border and color determines the stroke
paint color. CircularIntervalList is populated with the dashPattern to
render the appropriate pattern. The radius property is taken into account
only if the borderType is BorderType.RRect. A customPath can be passed in
as a parameter if you want to draw a custom shaped border.
