2022-10-31 08:36:45 -06:00
|
|
|
|
2023-03-27 10:44:49 -06:00
|
|
|
function extensions_apply(_, _, disable_all){
|
2023-01-28 05:57:56 -07:00
|
|
|
var disable = []
|
|
|
|
var update = []
|
|
|
|
|
2022-10-31 08:36:45 -06:00
|
|
|
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()
|
|
|
|
|
2023-03-27 10:44:49 -06:00
|
|
|
return [JSON.stringify(disable), JSON.stringify(update), disable_all]
|
2022-10-31 08:36:45 -06:00
|
|
|
}
|
|
|
|
|
2023-03-27 10:44:49 -06:00
|
|
|
function extensions_check(_, _){
|
2023-01-28 05:57:56 -07:00
|
|
|
var disable = []
|
|
|
|
|
|
|
|
gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
|
|
|
|
if(x.name.startsWith("enable_") && ! x.checked)
|
|
|
|
disable.push(x.name.substr(7))
|
|
|
|
})
|
|
|
|
|
2022-10-31 08:36:45 -06:00
|
|
|
gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
|
|
|
|
x.innerHTML = "Loading..."
|
|
|
|
})
|
|
|
|
|
2023-01-28 05:57:56 -07:00
|
|
|
|
|
|
|
var id = randomId()
|
|
|
|
requestProgress(id, gradioApp().getElementById('extensions_installed_top'), null, function(){
|
|
|
|
|
|
|
|
})
|
|
|
|
|
|
|
|
return [id, JSON.stringify(disable)]
|
2022-11-01 00:59:00 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
function install_extension_from_index(button, url){
|
|
|
|
button.disabled = "disabled"
|
|
|
|
button.value = "Installing..."
|
|
|
|
|
|
|
|
textarea = gradioApp().querySelector('#extension_to_install textarea')
|
|
|
|
textarea.value = url
|
2023-01-17 04:15:47 -07:00
|
|
|
updateInput(textarea)
|
2022-11-01 00:59:00 -06:00
|
|
|
|
|
|
|
gradioApp().querySelector('#install_extension_button').click()
|
|
|
|
}
|
2023-03-29 15:46:03 -06:00
|
|
|
|
|
|
|
function config_state_confirm_restore(_, config_state_name, config_restore_type) {
|
|
|
|
if (config_state_name == "Current") {
|
2023-03-29 17:32:54 -06:00
|
|
|
return [false, config_state_name, config_restore_type];
|
2023-03-29 15:46:03 -06:00
|
|
|
}
|
|
|
|
let restored = "";
|
|
|
|
if (config_restore_type == "extensions") {
|
|
|
|
restored = "all saved extension versions";
|
|
|
|
} else if (config_restore_type == "webui") {
|
|
|
|
restored = "the webui version";
|
|
|
|
} else {
|
|
|
|
restored = "the webui version and all saved extension versions";
|
|
|
|
}
|
2023-03-29 17:32:54 -06:00
|
|
|
let confirmed = confirm("Are you sure you want to restore from this state?\nThis will reset " + restored + ".");
|
|
|
|
if (confirmed) {
|
|
|
|
restart_reload();
|
|
|
|
gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
|
|
|
|
x.innerHTML = "Loading..."
|
|
|
|
})
|
|
|
|
}
|
2023-03-29 15:46:03 -06:00
|
|
|
return [confirmed, config_state_name, config_restore_type];
|
|
|
|
}
|