menu
map_zone_manager package
documentation
widgets/map_zone_manager.dart
MapZoneManager
defaultBorderWidth property
defaultBorderWidth property
dark_mode
light_mode
defaultBorderWidth
property
int
defaultBorderWidth
final
The default width for the zone's border.
Implementation
final int defaultBorderWidth;
map_zone_manager package
documentation
widgets/map_zone_manager
MapZoneManager
defaultBorderWidth property
MapZoneManager class