fix slider filter

app.py

@@ -72,13 +72,7 @@ def search_tables(single_df, multi_df, query):
     return filtered_single, filtered_multi
 
 
-def threshold_tables(single_df, multi_df, threshold):
-    filtered_single = single_df[single_df["Average H4 Score ⬆️"] >= threshold]
-    filtered_multi = multi_df[multi_df["Average H4 Score ⬆️"] >= threshold]
-    return filtered_single, filtered_multi
-
-
-def filter_tables(single_df, multi_df, backends, datatypes):
+def filter_tables(single_df, multi_df, backends, datatypes, threshold):
     filtered_single = single_df[single_df["Backend 🏭"].isin(backends)]
     filtered_single = filtered_single[filtered_single["Datatype 📥"].isin(
         datatypes)]
@@ -87,6 +81,9 @@ def filter_tables(single_df, multi_df, backends, datatypes):
     filtered_multi = filtered_multi[filtered_multi["Datatype 📥"].isin(
         datatypes)]
 
+    filtered_single = single_df[single_df["Average H4 Score ⬆️"] >= threshold]
+    filtered_multi = multi_df[multi_df["Average H4 Score ⬆️"] >= threshold]
+
     return filtered_single, filtered_multi
 
 
@@ -104,15 +101,6 @@ with demo:
                 placeholder="Write and press ENTER...",
                 elem_id="search-bar",
             )
-            threshold_slider = gr.Slider(
-                label="Threshold 📈",
-                info="Filter by average H4 score",
-                min_value=0.0,
-                max_value=100.0,
-                step_size=1.0,
-                value=0.0,
-                elem_id="threshold-slider",
-            )
 
         backend_checkboxes = gr.CheckboxGroup(
             choices=["pytorch", "onnxruntime"],
@@ -128,9 +116,22 @@ with demo:
             info="Select the load datatypes",
             elem_id="datatype-checkboxes",
         )
+
+    with gr.Row():
+        with gr.Box(elem_id="threshold-slider-box"):
+            threshold_slider = gr.Slider(
+                label="Threshold 📈",
+                info="Filter by average H4 score",
+                min_value=0.0,
+                max_value=100.0,
+                step_size=1.0,
+                value=0.0,
+                elem_id="threshold-slider",
+            )
+
     with gr.Row():
         submit_button = gr.Button(
-            label="Submit 🚀",
+            value="Submit 🚀",
             info="Submit the filters",
             elem_id="submit-button",
         )
@@ -194,19 +195,19 @@ with demo:
             backend_checkboxes.select(
                 filter_tables,
                 [single_A100_for_search, multi_A100_for_search,
-                    backend_checkboxes, datatype_checkboxes],
+                    backend_checkboxes, datatype_checkboxes, threshold_slider],
                 [single_A100_leaderboard, multi_A100_leaderboard],
             )
             datatype_checkboxes.select(
                 filter_tables,
                 [single_A100_for_search, multi_A100_for_search,
-                    backend_checkboxes, datatype_checkboxes],
+                    backend_checkboxes, datatype_checkboxes, threshold_slider],
                 [single_A100_leaderboard, multi_A100_leaderboard],
             )
             threshold_slider.change(
                 filter_tables,
                 [single_A100_for_search, multi_A100_for_search,
-                    backend_checkboxes, datatype_checkboxes],
+                    backend_checkboxes, datatype_checkboxes, threshold_slider],
                 [single_A100_leaderboard, multi_A100_leaderboard],
             )