Bugfix leaderboard
Browse files- play_with_hf.py +3 -3
play_with_hf.py
CHANGED
|
@@ -155,13 +155,13 @@ with (demo.route("Leaderboards", "/leaderboards") as demo_leaderboard):
|
|
| 155 |
|
| 156 |
# for lv, tab_name in [('1', "π
Easy"), ('2', "π Medium"), ('3', "πΈ Hard")]:
|
| 157 |
with gr.Tab("π
Easy") as tab1:
|
| 158 |
-
lb_df_1 = gr.DataFrame(label="Rankings", col_count=(
|
| 159 |
tab1.select(lambda: df_leaderboards['1'], None, [lb_df_1])
|
| 160 |
with gr.Tab("π Medium") as tab2:
|
| 161 |
-
lb_df_2 = gr.DataFrame(label="Rankings", col_count=(
|
| 162 |
tab2.select(lambda: df_leaderboards['2'], None, [lb_df_2])
|
| 163 |
with gr.Tab("πΈ Hard") as tab3:
|
| 164 |
-
lb_df_3 = gr.DataFrame(label="Rankings", col_count=(
|
| 165 |
tab3.select(lambda: df_leaderboards['3'], None, [lb_df_3])
|
| 166 |
|
| 167 |
def onload(progress=gr.Progress()):
|
|
|
|
| 155 |
|
| 156 |
# for lv, tab_name in [('1', "π
Easy"), ('2', "π Medium"), ('3', "πΈ Hard")]:
|
| 157 |
with gr.Tab("π
Easy") as tab1:
|
| 158 |
+
lb_df_1 = gr.DataFrame(label="Rankings", col_count=(5, 'fixed'), interactive=False, show_search='filter')
|
| 159 |
tab1.select(lambda: df_leaderboards['1'], None, [lb_df_1])
|
| 160 |
with gr.Tab("π Medium") as tab2:
|
| 161 |
+
lb_df_2 = gr.DataFrame(label="Rankings", col_count=(5, 'fixed'), interactive=False, show_search='filter')
|
| 162 |
tab2.select(lambda: df_leaderboards['2'], None, [lb_df_2])
|
| 163 |
with gr.Tab("πΈ Hard") as tab3:
|
| 164 |
+
lb_df_3 = gr.DataFrame(label="Rankings", col_count=(5, 'fixed'), interactive=False, show_search='filter')
|
| 165 |
tab3.select(lambda: df_leaderboards['3'], None, [lb_df_3])
|
| 166 |
|
| 167 |
def onload(progress=gr.Progress()):
|