mirror of
https://github.com/leporello-js/leporello-js
synced 2026-01-13 13:04:30 -08:00
fix
This commit is contained in:
@@ -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}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user