fix parameters for update_table

app.py

@@ -190,12 +190,12 @@ with demo:
             )
 
             # Dummy leaderboard for handling the case when the user uses backspace key
-            # hidden_leaderboard_table_for_search = gr.components.Dataframe(
-            #     value=original_df[COLS],
-            #     headers=COLS,
-            #     datatype=TYPES,
-            #     visible=False,
-            # )
+            hidden_leaderboard_table_for_search = gr.components.Dataframe(
+                value=original_df[COLS],
+                headers=COLS,
+                datatype=TYPES,
+                visible=False,
+            )
             # search_bar.submit(
             #     update_table,
             #     [
@@ -213,7 +213,7 @@ with demo:
                 selector.change(
                     update_table,
                     [
-                        # hidden_leaderboard_table_for_search,
+                        hidden_leaderboard_table_for_search,
                         shown_columns,
                         # filter_columns_type,
                         # filter_columns_precision,