width property

double width

The width of the ruler widget.

This defines how wide the ruler should be, typically used for controlling the overall layout and appearance.

Implementation

final double width;