width property Null safety
The divider's width.
The divider itself is always drawn as a vertical line that is centered within the width specified by this value.
If this is null, then the DividerThemeData.space is used. If that is also null, then this defaults to 16.0.
final double? width;