From 59674fac79823fbce6a4a26872c9c2a8edcc0731 Mon Sep 17 00:00:00 2001
From: Dmitry Vasilev <dmitry.vasil@gmail.com>
Date: Mon, 28 Nov 2022 22:17:54 +0800
Subject: [PATCH] TODO

---
 src/effects.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/effects.js b/src/effects.js
index a56e275..772b4ae 100644
--- a/src/effects.js
+++ b/src/effects.js
@@ -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) {
 
+    // TODO if loading external imports, show loading indicator
     ui.calltree.clear_calltree()
     ui.editor.for_each_session((file, session) => clear_coloring(ui, file))
     ui.editor.unembed_value_explorer()