menu
phone_ide package
documentation
main.dart
EditorViewState
editor property
editor property
dark_mode
light_mode
editor
property
Editor
editor
getter/setter pair
Implementation
Editor editor = Editor( language: 'html', options: EditorOptions( hasRegion: true, ), );
phone_ide package
documentation
main
EditorViewState
editor property
EditorViewState class