remove unused functionalities

app.py

@@ -204,12 +204,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,
             #     [
@@ -227,7 +227,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,