enable per-extension update

This commit is contained in:
Vladimir Mandic
2023-05-12 10:07:19 -04:00
parent 1943bfea88
commit 0a46f8ada7
7 changed files with 103 additions and 69 deletions
+16
View File
@@ -1,4 +1,5 @@
function extensions_apply(extensions_disabled_list, extensions_update_list, disable_all) {
console.log('Extensions apply:', extensions_disabled_list, extensions_update_list, disable_all);
const disable = [];
const update = [];
gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach((x) => {
@@ -10,6 +11,7 @@ function extensions_apply(extensions_disabled_list, extensions_update_list, disa
}
function extensions_check(info, extensions_disabled_list, search_text, sort_column) {
console.log('Extensions check:', info, extensions_disabled_list);
const disable = [];
gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach((x) => {
if (x.name.startsWith('enable_') && !x.checked) disable.push(x.name.substr(7));
@@ -23,8 +25,10 @@ function extensions_check(info, extensions_disabled_list, search_text, sort_colu
}
function install_extension(button, url) {
console.log('Extension install:', url);
button.disabled = 'disabled';
button.value = 'Installing...';
button.innerHTML = 'installing';
const textarea = gradioApp().querySelector('#extension_to_install textarea');
textarea.value = url;
updateInput(textarea);
@@ -32,10 +36,22 @@ function install_extension(button, url) {
}
function uninstall_extension(button, url) {
console.log('Extension uninstall:', url);
button.disabled = 'disabled';
button.value = 'Uninstalling...';
button.innerHTML = 'uninstalling';
const textarea = gradioApp().querySelector('#extension_to_install textarea');
textarea.value = url;
updateInput(textarea);
gradioApp().querySelector('#uninstall_extension_button').click();
}
function update_extension(button, url) {
console.log('Extension update:', url);
button.value = 'Updating...';
button.innerHTML = 'updating';
const textarea = gradioApp().querySelector('#extension_to_install textarea');
textarea.value = url;
updateInput(textarea);
gradioApp().querySelector('#update_extension_button').click();
}
+5
View File
@@ -528,6 +528,11 @@ div#extras_scale_to_tab div.form{
font-size: 90%;
}
.extension-button {
font-size: 95% !important;
width: 6em;
}
/* replace original footer with ours */
footer {