Ark/leporello-js
1
0
Fork 0
mirror of https://github.com/leporello-js/leporello-js synced 2026-01-13 21:14:28 -08:00
Code Issues Packages Projects Releases Wiki Activity

TODO

Browse Source
This commit is contained in:
Dmitry Vasilev
2022-11-28 22:17:54 +08:00
parent 3dece8f407
commit 59674fac79
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/effects.js vendored
View File

@@ -172,6 +172,7 @@ export const render_common_side_effects = (prev, next, command, ui) => {
if(!next.parse_result.ok || next.loading_external_imports_state != null) { if(!next.parse_result.ok || next.loading_external_imports_state != null) {
// TODO if loading external imports, show loading indicator
ui.calltree.clear_calltree() ui.calltree.clear_calltree()
ui.editor.for_each_session((file, session) => clear_coloring(ui, file)) ui.editor.for_each_session((file, session) => clear_coloring(ui, file))
ui.editor.unembed_value_explorer() ui.editor.unembed_value_explorer()