menu
polaris_map_editor package
documentation
options/area_options.dart
AreaOptions
borderStrokeWidth property
borderStrokeWidth property
dark_mode
light_mode
borderStrokeWidth
property
double
borderStrokeWidth
final
The width of the border around the area.
Implementation
final double borderStrokeWidth;
polaris_map_editor package
documentation
options/area_options
AreaOptions
borderStrokeWidth property
AreaOptions class