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(); | |
| } | |