Keep progress bar only, remove countdown text and refresh button

app.py

@@ -53,7 +53,6 @@ def refresh_leaderboard() -> tuple:
         prepare_ranks_table(grouped["overall_ranks"]),
         build_status_line(status, baseline),
         REFRESH_SECONDS,
-        f"Next auto-refresh in **{REFRESH_SECONDS}s**",
     ]
     for domain in DOMAINS:
         values_df = grouped["domain_values"].get(domain)
@@ -64,9 +63,8 @@ def refresh_leaderboard() -> tuple:
     return tuple(outputs)
 
 
-def tick_refresh_progress(remaining: int) -> tuple[int, str]:
-    next_remaining = max(int(remaining) - 1, 0)
-    return next_remaining, f"Next auto-refresh in **{next_remaining}s**"
+def tick_refresh_progress(remaining: int) -> int:
+    return max(int(remaining) - 1, 0)
 
 
 grouped_initial = get_grouped_dfs(RESULTS_PATH)
@@ -79,10 +77,15 @@ with demo:
     gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
     status = gr.Markdown(INITIAL_OUTPUTS[2], elem_classes="markdown-text")
 
-    refresh_remaining = gr.State(REFRESH_SECONDS)
-    refresh_countdown = gr.Markdown(
-        f"Next auto-refresh in **{REFRESH_SECONDS}s**",
-        elem_classes="markdown-text",
+    refresh_progress = gr.Slider(
+        minimum=0,
+        maximum=REFRESH_SECONDS,
+        value=REFRESH_SECONDS,
+        step=1,
+        label="Auto-refresh countdown",
+        interactive=False,
+        elem_id="refresh-progress",
+        show_label=False,
     )
 
     gr.Markdown("### Overall", elem_classes="domain-heading")
@@ -104,7 +107,7 @@ with demo:
         gr.Markdown(f"### {domain}", elem_classes="domain-heading")
         domain_value_dfs.append(
             gr.Dataframe(
-                value=INITIAL_OUTPUTS[5 + i],
+                value=INITIAL_OUTPUTS[4 + i],
                 interactive=False,
                 wrap=True,
                 label=f"{domain} · metric values (lower is better)",
@@ -126,8 +129,7 @@ with demo:
         overall_values_df,
         overall_ranks_df,
         status,
-        refresh_remaining,
-        refresh_countdown,
+        refresh_progress,
         *domain_value_dfs,
     ]
 
@@ -135,8 +137,8 @@ with demo:
     gr.Timer(value=REFRESH_SECONDS).tick(refresh_leaderboard, inputs=[], outputs=refresh_outputs)
     gr.Timer(value=1).tick(
         tick_refresh_progress,
-        inputs=[refresh_remaining],
-        outputs=[refresh_remaining, refresh_countdown],
+        inputs=[refresh_progress],
+        outputs=[refresh_progress],
     )
 
 demo.queue(default_concurrency_limit=20).launch()