menu
phone_ide package
documentation
editor/editor_options.dart
EditorOptions
regionOptions property
regionOptions property
dark_mode
light_mode
regionOptions
property
EditorRegionOptions
?
regionOptions
getter/setter pair
Implementation
EditorRegionOptions? regionOptions;
phone_ide package
documentation
editor/editor_options
EditorOptions
regionOptions property
EditorOptions class