[WIP]

app.py

@@ -79,7 +79,12 @@ 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)