turn on results table filter (#60)

ui_components.py

@@ -509,7 +509,8 @@ def create_leaderboard_display(
             interactive=False,
             wrap=True,
             column_widths=final_column_widths,
-            elem_classes=["wrap-header-df"]
+            elem_classes=["wrap-header-df"],
+            show_search="search",
         )
         legend_markdown = create_legend_markdown(category_name)
         gr.HTML(value=legend_markdown, elem_id="legend-markdown")