From 7b352313551a8c515239077f9ca9e3a266e60e23 Mon Sep 17 00:00:00 2001 From: Dmitry Vasilev Date: Fri, 9 Jun 2023 16:21:18 +0300 Subject: [PATCH] fix --- src/cmd.js | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/cmd.js b/src/cmd.js index 20f47b5..89dafe2 100644 --- a/src/cmd.js +++ b/src/cmd.js @@ -319,6 +319,15 @@ const validate_index_action = state => { if(!state.parse_result.ok){ return {state, effects: {type: 'set_status', args: ['invalid syntax']}} } + + if( + state.loading_external_imports_state != null + || + state.eval_modules_state != null + ) { + return {state, effects: {type: 'set_status', args: ['loading']}} + } + if( state.active_calltree_node == null ||