extensions.js 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. function extensions_apply(_, _){
  2. var disable = []
  3. var 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. var disable = []
  15. gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
  16. if(x.name.startsWith("enable_") && ! x.checked)
  17. disable.push(x.name.substr(7))
  18. })
  19. gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
  20. x.innerHTML = "Loading..."
  21. })
  22. var id = randomId()
  23. requestProgress(id, gradioApp().getElementById('extensions_installed_top'), null, function(){
  24. })
  25. return [id, JSON.stringify(disable)]
  26. }
  27. function install_extension_from_index(button, url){
  28. button.disabled = "disabled"
  29. button.value = "Installing..."
  30. textarea = gradioApp().querySelector('#extension_to_install textarea')
  31. textarea.value = url
  32. updateInput(textarea)
  33. gradioApp().querySelector('#install_extension_button').click()
  34. }