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