Update gr.Slider from the HTML DOM

🔒 Gradio
1

I have a hopefully simple question, but I wasn’t able to find the answer searching the documentation.

I have a slider, defined like:

gr.Slider(minimum=1, maximum=2, step=1, value=1, elem_id="my_id")

I would like to change the value of the slider programmatically on the level of HTML DOM. I can access it as:

let slider = gradioApp().getElementById('my_id');

But then, I’m lost on how to actually modify the value: inspecting DOM I see various divs and inputs, but the actual value is not stored anywhere here. Is that even possible?