height property

double height

The height of the ruler widget.

This defines how tall the ruler should be, allowing you to control the ruler's layout along with the width.

Implementation

final double height;