Spaces:
Sleeping
Sleeping
Remove Refresh now button, keep countdown only
Browse files
app.py
CHANGED
|
@@ -79,23 +79,12 @@ with demo:
|
|
| 79 |
gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
|
| 80 |
status = gr.Markdown(INITIAL_OUTPUTS[2], elem_classes="markdown-text")
|
| 81 |
|
| 82 |
-
|
| 83 |
-
minimum=0,
|
| 84 |
-
maximum=REFRESH_SECONDS,
|
| 85 |
-
value=REFRESH_SECONDS,
|
| 86 |
-
step=1,
|
| 87 |
-
label="Auto-refresh countdown",
|
| 88 |
-
interactive=False,
|
| 89 |
-
elem_id="refresh-progress",
|
| 90 |
-
)
|
| 91 |
refresh_countdown = gr.Markdown(
|
| 92 |
f"Next auto-refresh in **{REFRESH_SECONDS}s**",
|
| 93 |
elem_classes="markdown-text",
|
| 94 |
)
|
| 95 |
|
| 96 |
-
with gr.Row():
|
| 97 |
-
refresh_btn = gr.Button("Refresh now", variant="secondary")
|
| 98 |
-
|
| 99 |
gr.Markdown("### Overall", elem_classes="domain-heading")
|
| 100 |
overall_values_df = gr.Dataframe(
|
| 101 |
value=INITIAL_OUTPUTS[0],
|
|
@@ -137,18 +126,17 @@ with demo:
|
|
| 137 |
overall_values_df,
|
| 138 |
overall_ranks_df,
|
| 139 |
status,
|
| 140 |
-
|
| 141 |
refresh_countdown,
|
| 142 |
*domain_value_dfs,
|
| 143 |
]
|
| 144 |
|
| 145 |
-
refresh_btn.click(refresh_leaderboard, inputs=[], outputs=refresh_outputs)
|
| 146 |
demo.load(refresh_leaderboard, inputs=[], outputs=refresh_outputs)
|
| 147 |
gr.Timer(value=REFRESH_SECONDS).tick(refresh_leaderboard, inputs=[], outputs=refresh_outputs)
|
| 148 |
gr.Timer(value=1).tick(
|
| 149 |
tick_refresh_progress,
|
| 150 |
-
inputs=[
|
| 151 |
-
outputs=[
|
| 152 |
)
|
| 153 |
|
| 154 |
demo.queue(default_concurrency_limit=20).launch()
|
|
|
|
| 79 |
gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
|
| 80 |
status = gr.Markdown(INITIAL_OUTPUTS[2], elem_classes="markdown-text")
|
| 81 |
|
| 82 |
+
refresh_remaining = gr.State(REFRESH_SECONDS)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 83 |
refresh_countdown = gr.Markdown(
|
| 84 |
f"Next auto-refresh in **{REFRESH_SECONDS}s**",
|
| 85 |
elem_classes="markdown-text",
|
| 86 |
)
|
| 87 |
|
|
|
|
|
|
|
|
|
|
| 88 |
gr.Markdown("### Overall", elem_classes="domain-heading")
|
| 89 |
overall_values_df = gr.Dataframe(
|
| 90 |
value=INITIAL_OUTPUTS[0],
|
|
|
|
| 126 |
overall_values_df,
|
| 127 |
overall_ranks_df,
|
| 128 |
status,
|
| 129 |
+
refresh_remaining,
|
| 130 |
refresh_countdown,
|
| 131 |
*domain_value_dfs,
|
| 132 |
]
|
| 133 |
|
|
|
|
| 134 |
demo.load(refresh_leaderboard, inputs=[], outputs=refresh_outputs)
|
| 135 |
gr.Timer(value=REFRESH_SECONDS).tick(refresh_leaderboard, inputs=[], outputs=refresh_outputs)
|
| 136 |
gr.Timer(value=1).tick(
|
| 137 |
tick_refresh_progress,
|
| 138 |
+
inputs=[refresh_remaining],
|
| 139 |
+
outputs=[refresh_remaining, refresh_countdown],
|
| 140 |
)
|
| 141 |
|
| 142 |
demo.queue(default_concurrency_limit=20).launch()
|