width property Null safety

double width
final

The width of the header container.

Implementation

final double width;