progress

app.py

@@ -30,11 +30,15 @@ def embed_figures(html_body, resources):
         html_body = html_body.replace(key, img_tag)
     return html_body
 
-def parse_notebook(filter_options):
+def parse_notebook(filter_options, progress=gr.Progress()):
     reset_tmp_folder()
-
     found_notebook = False
+
+    counter = 0
     while not found_notebook:
+        progress((counter, None), desc="Parsing and filtering notebooks...", unit="steps")
+        counter += 1
+        
         notebook_data = next(ds_iter)
         notebook_string = notebook_data["text"]
         notebook_id = notebook_data["id"].split("/")[-1]