menu
phone_ide package
documentation
editor/editor_options.dart
EditorOptions
hasRegion property
hasRegion property
dark_mode
light_mode
hasRegion
property
bool
hasRegion
getter/setter pair
Implementation
bool hasRegion;
phone_ide package
documentation
editor/editor_options
EditorOptions
hasRegion property
EditorOptions class