Spaces:
Runtime error
Runtime error
function extensions_apply(extensions_disabled_list, extensions_update_list, disable_all) { | |
const disable = []; | |
const update = []; | |
gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach((x) => { | |
if (x.name.startsWith('enable_') && !x.checked) disable.push(x.name.substring(7)); | |
if (x.name.startsWith('update_') && x.checked) update.push(x.name.substring(7)); | |
}); | |
restartReload(); | |
log('Extensions apply:', { disable, update }); | |
return [JSON.stringify(disable), JSON.stringify(update), disable_all]; | |
} | |
function extensions_check(info, extensions_disabled_list, search_text, sort_column) { | |
const disable = []; | |
gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach((x) => { | |
if (x.name.startsWith('enable_') && !x.checked) disable.push(x.name.substring(7)); | |
}); | |
const id = randomId(); | |
log('Extensions check:', { disable }); | |
return [id, JSON.stringify(disable), search_text, sort_column]; | |
} | |
function install_extension(button, url) { | |
button.disabled = 'disabled'; | |
button.value = 'Installing...'; | |
button.innerHTML = 'installing'; | |
const textarea = gradioApp().querySelector('#extension_to_install textarea'); | |
textarea.value = url; | |
updateInput(textarea); | |
log('Extension install:', { url }); | |
gradioApp().querySelector('#install_extension_button').click(); | |
} | |
function uninstall_extension(button, url) { | |
button.disabled = 'disabled'; | |
button.value = 'Uninstalling...'; | |
button.innerHTML = 'uninstalling'; | |
const textarea = gradioApp().querySelector('#extension_to_install textarea'); | |
textarea.value = url; | |
updateInput(textarea); | |
log('Extension uninstall:', { url }); | |
gradioApp().querySelector('#uninstall_extension_button').click(); | |
} | |
function update_extension(button, url) { | |
button.value = 'Updating...'; | |
button.innerHTML = 'updating'; | |
const textarea = gradioApp().querySelector('#extension_to_install textarea'); | |
textarea.value = url; | |
updateInput(textarea); | |
log('Extension update:', { url }); | |
gradioApp().querySelector('#update_extension_button').click(); | |
} | |