menu
polaris_map_editor package
documentation
widgets/polaris_menu.dart
PolarisMenu
options property
options property
dark_mode
light_mode
options
property
PolarisOptions
options
final
Configuration options for the map editor.
Implementation
final PolarisOptions options;
polaris_map_editor package
documentation
widgets/polaris_menu
PolarisMenu
options property
PolarisMenu class