menu
polaris_map_editor package
documentation
widgets/menu/divider_vertical.dart
DividerVertical
height property
height property
dark_mode
light_mode
height
property
double
height
final
The desired height of the divider in pixels.
Implementation
final double height;
polaris_map_editor package
documentation
widgets/menu/divider_vertical
DividerVertical
height property
DividerVertical class