extensions.js 1014 B

1234567891011121314151617181920212223242526272829303132333435
  1. function extensions_apply(_, _){
  2. disable = []
  3. update = []
  4. gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
  5. if(x.name.startsWith("enable_") && ! x.checked)
  6. disable.push(x.name.substr(7))
  7. if(x.name.startsWith("update_") && x.checked)
  8. update.push(x.name.substr(7))
  9. })
  10. restart_reload()
  11. return [JSON.stringify(disable), JSON.stringify(update)]
  12. }
  13. function extensions_check(){
  14. gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
  15. x.innerHTML = "Loading..."
  16. })
  17. return []
  18. }
  19. function install_extension_from_index(button, url){
  20. button.disabled = "disabled"
  21. button.value = "Installing..."
  22. textarea = gradioApp().querySelector('#extension_to_install textarea')
  23. textarea.value = url
  24. textarea.dispatchEvent(new Event("input", { bubbles: true }))
  25. gradioApp().querySelector('#install_extension_button').click()
  26. }