web_assets/javascript/sliders.js

// 该功能被做到gradio的官方版本中了
// https://github.com/gradio-app/gradio/pull/5535
// https://github.com/gradio-app/gradio/issues/4255