aljaz/flutter_server_box
1
1
Fork 0
mirror of https://github.com/lollipopkit/flutter_server_box.git synced 2025-12-17 23:34:24 +01:00
Code Issues Packages Projects Releases Wiki Activity

opt.: shell_func only get useful mem data

Browse Source
This commit is contained in:
lollipopkit
2023-10-13 12:48:54 +08:00
parent 7388ad4524
commit a2bb4f1287
11 changed files with 43 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/view/page/editor.dart
View File

@@ -60,9 +60,9 @@ class _EditorPageState extends State<EditorPage> {
if (Stores.setting.editorHighlight.fetch()) {
_langCode = widget.langCode ?? Highlights.getCode(widget.path);
}
_controller = CodeController(
language: Highlights.all[_langCode],
);
_controller = CodeController(
language: Highlights.all[_langCode],
);
/// TODO: This is a temporary solution to avoid the loading stuck
Future.delayed(const Duration(milliseconds: 377)).then((value) async {