Dynamic column widths

app.py

@@ -96,7 +96,7 @@ def init_leaderboard(dataframe, benchmark_type):
     return gr.components.Dataframe(
         value=dataframe,
         datatype=[c.type for c in AutoEvalColumnSubset],
-        column_widths=[f"{str(10*len(c.name))}px" if c.name != "Model" else None for c in AutoEvalColumnSubset],
+        # column_widths=[f"{str(10*len(c.name))}px" if c.name != "Model" else "250px" for c in AutoEvalColumnSubset],
     )