fix: prevent error when scrolling without clients

This commit is contained in:
Moustapha Kodjo Amadou 2025-11-12 17:04:38 +01:00
parent 29fe96151d
commit afc4c620f8

View file

@ -96,7 +96,9 @@ class _CodeEditorPageState extends ConsumerState<CodeEditorPage> {
_logsNotifier.value.add(event);
try {
await Future.delayed(const Duration(milliseconds: 5));
_scrollController.jumpTo(_scrollController.position.maxScrollExtent);
if (_scrollController.hasClients) {
_scrollController.jumpTo(_scrollController.position.maxScrollExtent);
}
} catch (_) {}
});
}