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