fix slider - update to gradio 6.1.0

README.md

@@ -4,7 +4,7 @@ emoji: 📚
 colorFrom: blue
 colorTo: indigo
 sdk: gradio
-sdk_version: 5.0.0
+sdk_version: 6.1.0
 app_file: app.py
 pinned: false
 license: mit

app.py

@@ -229,7 +229,7 @@ with gr.Blocks(theme=gr.themes.Ocean(), css=GLOBAL_CSS, js=JS_FORCE_DARK) as dem
 
     with gr.Row():
         lang_selector = gr.Radio(choices=["it", "en", "es", "fr", "de", "ru"],value=DEFAULT_LANG, label=L("language_label"))
-        num_results = gr.Slider(1, 10, value=5, step=1, label=L("results_label"), buttons = [])
+        num_results = gr.Slider(1, 10, value=5, step=1, label=L("results_label"))
 
     with gr.Tabs() as tabs:
         with gr.Tab(L("plot_search_tab")) as t1: