slider int step

app.py

@@ -66,6 +66,7 @@ dropdown_opts = [doc.url for idx, doc in df.iterrows()]
 
 with gr.Blocks() as demo:
     gr.Label("Lovdata rettsavgjørelser - semantisk søk")
+    gr.
 
     case_dropdown = gr.Dropdown(label="Velg en rettsavgjørelse", choices=dropdown_opts, default=dropdown_opts[0])
     # when case_dropdown changes, update the summary dropdown:
@@ -76,7 +77,7 @@ with gr.Blocks() as demo:
         lines=1,
         placeholder="Kollisjon mellom to kjøretøy.",
     )
-    k_slider = gr.Slider(minimum=1, maximum=10, label="Number of matches", value=5)
+    k_slider = gr.Slider(minimum=1, maximum=10, label="Number of matches", value=5, step=1)
 
     search_btn = gr.Button("Search")