From c7f5cb231c2a6b33c9933d4c64bfa7ea100fcc9a Mon Sep 17 00:00:00 2001 From: Dmitry Vasilev Date: Thu, 24 Nov 2022 05:39:52 +0800 Subject: [PATCH] fix --- src/cmd.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/cmd.js b/src/cmd.js index 235fa1b..3be1d05 100644 --- a/src/cmd.js +++ b/src/cmd.js @@ -719,6 +719,11 @@ const move_cursor = (s, index) => { return {state: s} } + if(s.loading_external_imports_state != null) { + // TODO: save index in loading_external_imports_state + return {state: s} + } + // Remove selection on move cursor const state_sel_removed = {...s, selection_state: null}