Update app.py

app.py

@@ -79,17 +79,28 @@ def update_table(
     size_query: list,
     show_deleted: bool,
     query: str,
-    request: gr.Request,
 ):
-    if not query:  # if None or "", check if query parameter is set
-        query_from_params = request.query_params.get("query")
-        if query_from_params is not None:
-            query = query_from_params
     filtered_df = filter_models(hidden_df, type_query, size_query, precision_query, show_deleted)
     filtered_df = filter_queries(query, filtered_df)
     df = select_columns(filtered_df, columns)
     return df
 
+def update_table_from_query(  # triggered only once at startup => read query parameter if it exists
+    hidden_df: pd.DataFrame,
+    columns: list,
+    type_query: list,
+    precision_query: str,
+    size_query: list,
+    show_deleted: bool,
+    request: gr.Request,
+):
+    query_from_params = request.query_params.get("query") or ""
+    return (
+        # Update search bar 
+        query_from_params,
+        # Update dataframe
+        update_table(hidden_df, columns, type_query, precision_query, size_query, show_deleted, query_from_params),
+    )
 
 def search_table(df: pd.DataFrame, query: str) -> pd.DataFrame:
     return df[(df[AutoEvalColumn.dummy.name].str.contains(query, case=False))]
@@ -241,6 +252,18 @@ with demo:
                 ],
                 leaderboard_table,
             )
+            demo.load(
+                fn=update_table_from_query,
+                inputs=[
+                    hidden_leaderboard_table_for_search,
+                    shown_columns,
+                    filter_columns_type,
+                    filter_columns_precision,
+                    filter_columns_size,
+                    deleted_models_visibility,
+                ],
+                outputs=[search_bar, leaderboard_table],
+            )
             for selector in [shown_columns, filter_columns_type, filter_columns_precision, filter_columns_size, deleted_models_visibility]:
                 selector.change(
                     update_table,