Deeplink to autoselect a model when opening the leaderboard (#462)

- [WIP] (091d1c2eb535d89bcdfb9be857d8f16e04708617)
- Update app.py (06e2ae973ab3944fb61c3115f6c5ddb36217a04f)
- Update app.py (2573a659d4410bba25b41dfc66ea2b487ab3dd19)
- Update app.py (7b45f9d7ead2a12052ce3656eedc1b3cb123c887)
- Update app.py (a7a14155badc16ed55045fa51c7aa687b600a8a7)


Co-authored-by: Lucain Pouget <[email protected]>

app.py

@@ -86,6 +86,11 @@ def update_table(
     return df
 
 
+def load_query(request: gr.Request):  # triggered only once at startup => read query parameter if it exists
+    query = request.query_params.get("query") or ""
+    return query, query # return one for the "search_bar", one for a hidden component that triggers a reload only if value has changed
+
+
 def search_table(df: pd.DataFrame, query: str) -> pd.DataFrame:
     return df[(df[AutoEvalColumn.dummy.name].str.contains(query, case=False))]
 
@@ -236,6 +241,25 @@ with demo:
                 ],
                 leaderboard_table,
             )
+
+            # Define a hidden component that will trigger a reload only if a query parameter has be set
+            hidden_search_bar = gr.Textbox(value="", visible=False)
+            hidden_search_bar.change(
+                update_table,
+                [
+                    hidden_leaderboard_table_for_search,
+                    shown_columns,
+                    filter_columns_type,
+                    filter_columns_precision,
+                    filter_columns_size,
+                    deleted_models_visibility,
+                    search_bar,
+                ],
+                leaderboard_table,
+            )
+            # Check query parameter once at startup and update search bar + hidden component
+            demo.load(load_query, inputs=[], outputs=[search_bar, hidden_search_bar])
+            
             for selector in [shown_columns, filter_columns_type, filter_columns_precision, filter_columns_size, deleted_models_visibility]:
                 selector.change(
                     update_table,