Change `model_tournament_results_table` when changed selected category

app.py

@@ -163,7 +163,7 @@ def fetch_model_tournament_results_table(submission_id, category):
         visible=True,
     )
 
-def change_leaderboard_category(category):
+def change_leaderboard_category(category, selected_submission_id):
     if category == leaderboard_server.TASKS_CATEGORY_OVERALL:
         task_abbreviation_legend = gr.update(
             visible=False,
@@ -197,7 +197,7 @@ def change_leaderboard_category(category):
             visible=True,
         )
         
-        model_tournament_results_table = gr.update()
+        model_tournament_results_table = fetch_model_tournament_results_table(selected_submission_id, category)
     
     return (
         gr.update(
@@ -372,7 +372,10 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                 
                 category_of_tasks.change(
                     fn=change_leaderboard_category,
-                    inputs=category_of_tasks,
+                    inputs=[
+                        category_of_tasks,
+                        tournament_results_dropdown,
+                    ],
                     outputs=[
                         results_table,
                         results_table_legend,