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