Update app.py

app.py

@@ -232,4 +232,28 @@ def reload_leaderboard(rl_env):
 
     markdown = get_info_display(len(data_dataframe),rl_env, DETAILS[rl_env]['title'],is_empty)            
     
-    return markdown,data_html     
+    return markdown,data_html 
+    
+block = gr.Blocks(css=BLOCK_CSS)
+with block:
+    notification = gr.HTML("""<div style="color: green">
+                <p> ⌛ Updating leaderboard... </p>
+                </div>
+               """)
+    block.load(reload_all_data,[],[notification])
+    
+    with gr.Tabs():
+        for rl_env in ASSIGNMENTS:
+            with gr.TabItem(rl_env) as rl_tab:
+                data_html,data_dataframe,is_empty = DETAILS[rl_env]['data'] 
+                markdown = get_info_display(len(data_dataframe),rl_env,RL_DETAILS[rl_env]['title'],is_empty)            
+                env_state =gr.Variable(default_value=rl_env)  
+                output_markdown = gr.HTML(markdown)
+                reload = gr.Button('Reload Leaderboard')
+
+                output_html = gr.HTML(data_html)
+
+                reload.click(reload_leaderboard,inputs=[env_state],outputs=[output_markdown,output_html])
+                rl_tab.select(reload_leaderboard,inputs=[env_state],outputs=[output_markdown,output_html])
+
+block.launch()