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
inputs, but the actual value is not stored anywhere here. Is that even possible?