12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 |
- function extensions_apply(_, _){
- var disable = []
- var update = []
- gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
- if(x.name.startsWith("enable_") && ! x.checked)
- disable.push(x.name.substr(7))
- if(x.name.startsWith("update_") && x.checked)
- update.push(x.name.substr(7))
- })
- restart_reload()
- return [JSON.stringify(disable), JSON.stringify(update)]
- }
- function extensions_check(){
- var disable = []
- gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
- if(x.name.startsWith("enable_") && ! x.checked)
- disable.push(x.name.substr(7))
- })
- gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
- x.innerHTML = "Loading..."
- })
- var id = randomId()
- requestProgress(id, gradioApp().getElementById('extensions_installed_top'), null, function(){
- })
- return [id, JSON.stringify(disable)]
- }
- function install_extension_from_index(button, url){
- button.disabled = "disabled"
- button.value = "Installing..."
- textarea = gradioApp().querySelector('#extension_to_install textarea')
- textarea.value = url
- updateInput(textarea)
- gradioApp().querySelector('#install_extension_button').click()
- }
|