1234567891011121314151617181920212223242526272829303132333435 |
- function extensions_apply(_, _){
- disable = []
- 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(){
- gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
- x.innerHTML = "Loading..."
- })
- return []
- }
- 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()
- }
|