Revert changes

app.py

@@ -171,7 +171,7 @@ with demo:
                     with gr.Row():
                         shown_columns = gr.CheckboxGroup(
                             choices=[
-                                c.display_name
+                                c.name
                                 for c in fields(AutoEvalColumn)
                                 if not c.hidden and not c.never_hidden and not c.dummy
                             ],
@@ -184,11 +184,6 @@ with demo:
                             elem_id="column-select",
                             interactive=True,
                         )
-                        shown_column_names = [
-                            c.display_name
-                            for c in fields(AutoEvalColumn)
-                            if c.displayed_by_default and not c.hidden and not c.never_hidden
-                        ]
                 """    
                 with gr.Column(min_width=320):
                     # with gr.Box(elem_id="box-filter"):
@@ -220,7 +215,7 @@ with demo:
                     + shown_columns.value
                     
                 ],
-                headers=[c.display_name for c in fields(AutoEvalColumn) if c.never_hidden] + shown_column_names,
+                headers=[c.display_name for c in fields(AutoEvalColumn) if c.never_hidden] + shown_columns.value,
                 datatype=TYPES,
                 elem_id="leaderboard-table",
                 interactive=False,
@@ -232,7 +227,7 @@ 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=[c.display_name for c in fields(AutoEvalColumn) if not c.hidden],
+                headers=COLS,
                 datatype=TYPES,
                 visible=False,
             )