added secondary sorting if there are ties for the sorting metric, made sorting order for sorting metric reversible but not the other metrics

app.py

@@ -119,15 +119,13 @@ dataset_df = dataframe[dataframe.dataset == dataset]
 dataset_df = dataset_df.dropna(axis="columns", how="all")
 
 selectable_metrics = list(filter(lambda column: column not in ("model_id", "dataset"), dataset_df.columns))
-default_metric = st.sidebar.radio(
-    "Default Metric",
+sorting_metric = st.sidebar.radio(
+    "Sorting Metric",
     selectable_metrics,
 )
 
 dataset_df = dataset_df.filter(["model_id"] + selectable_metrics)
 dataset_df = dataset_df.dropna(thresh=2)  # Want at least two non-na values (one for model_id and one for a metric).
-dataset_df = dataset_df.sort_values(by=default_metric, ascending=default_metric in ascending_metrics)
-dataset_df = dataset_df.replace(np.nan, '-')
 
 st.markdown(
     "Please click on the model's name to be redirected to its model card."
@@ -139,12 +137,17 @@ st.markdown(
 
 # Make the default metric appear right after model names
 cols = dataset_df.columns.tolist()
-cols.remove(default_metric)
-cols = cols[:1] + [default_metric] + cols[1:]
+cols.remove(sorting_metric)
+cols = cols[:1] + [sorting_metric] + cols[1:]
 dataset_df = dataset_df[cols]
 
+# Sort the leaderboard, giving the sorting metric highest priority and then ordering by other metrics in the case of equal values.
+dataset_df = dataset_df.sort_values(by=cols[1:], ascending=[metric in ascending_metrics for metric in cols[1:]])
+dataset_df = dataset_df.replace(np.nan, '-')
+
 # Make the leaderboard
 gb = GridOptionsBuilder.from_dataframe(dataset_df)
+gb.configure_default_column(sortable=False)
 gb.configure_column(
     "model_id",
     cellRenderer=JsCode('''function(params) {return '<a target="_blank" href="https://huggingface.co/'+params.value+'">'+params.value+'</a>'}'''),
@@ -153,7 +156,8 @@ for name in selectable_metrics:
     gb.configure_column(name, type=["numericColumn","numberColumnFilter","customNumericFormat"], precision=2, aggFunc='sum')
 
 gb.configure_column(
-    default_metric,
+    sorting_metric,
+    sortable=True,
     cellStyle=JsCode('''function(params) { return {'backgroundColor': '#FFD21E'}}''')
 )