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