change search to filter

app.py

@@ -107,7 +107,7 @@ def init_leaderboard(dataframe):
             column_widths=[30,50,40,150,60,60,60],
             max_height=420,
             elem_classes="leaderboard_col_style",
-            show_search="search",
+            show_search="filter",
             max_chars=None
         )