Update app.py

app.py

@@ -207,13 +207,12 @@ with demo:
                         elem_id="filter-columns-size",
                     )
 
-            default_leaderboard_df = value=leaderboard_df[
-                [c.name for c in fields(AutoEvalColumn) if c.never_hidden]
-                + shown_columns.value
-                + [AutoEvalColumn.dummy.name]
-            ]
             leaderboard_table = gr.components.Dataframe(
-                value=default_leaderboard_df,
+                value=leaderboard_df[
+                    [c.name for c in fields(AutoEvalColumn) if c.never_hidden]
+                    + shown_columns.value
+                    + [AutoEvalColumn.dummy.name]
+                ],
                 headers=[c.name for c in fields(AutoEvalColumn) if c.never_hidden] + shown_columns.value,
                 datatype=TYPES,
                 elem_id="leaderboard-table",