Update app.py

app.py

@@ -68,7 +68,7 @@ leaderboard_df = original_df.copy()
 # Searching and filtering
 def update_table(
     hidden_df: pd.DataFrame,
-    shown_columns: list,
+    columns: list,
     type_query: list,
     precision_query: list,
     size_query: list,
@@ -84,18 +84,18 @@ def update_table(
     
     filtered_df = filter_models(hidden_df, type_query, size_query, precision_query,
                                 add_special_tokens_query, num_few_shots_query,
-                                show_deleted, show_merges, show_flagged, shown_columns)
+                                show_deleted, show_merges, show_flagged)
     print(f"filtered_df shape after filter_models: {filtered_df.shape}")
     
     if query:
         filtered_df = filter_queries(query, filtered_df)
         print(f"filtered_df shape after filter_queries: {filtered_df.shape}")
     
-    print(f"Filter applied: query={query}, columns={shown_columns}, type_query={type_query}, precision_query={precision_query}")
+    print(f"Filter applied: query={query}, columns={columns}, type_query={type_query}, precision_query={precision_query}")
     print("Filtered dataframe head:")
     print(filtered_df.head())
 
-    return select_columns(filtered_df, shown_columns)
+    return select_columns(filtered_df, columns)
 
 
 def load_query(request: gr.Request):  # triggered only once at startup => read query parameter if it exists