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