menu
phone_ide package
documentation
editor/editor.dart
EditorState
currentFileName property
currentFileName property
dark_mode
light_mode
currentFileName
property
String
currentFileName
getter/setter pair
Implementation
String currentFileName = '';
phone_ide package
documentation
editor/editor
EditorState
currentFileName property
EditorState class