diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2023-01-28 15:57:56 +0300 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2023-01-28 15:57:56 +0300 |
| commit | f8feeaaedb890de1e36eeb2ad387f0eb3abafd54 (patch) | |
| tree | 9a6a84e8c43e7a5176938c43bb4bd09d68d3eb96 /javascript/extensions.js | |
| parent | d04e3e921e8ee71442a1f4a1d6e91c05b8238007 (diff) | |
add progressbar to extension update check; do not check for updates for disabled extensions
Diffstat (limited to 'javascript/extensions.js')
| -rw-r--r-- | javascript/extensions.js | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/javascript/extensions.js b/javascript/extensions.js index ac6e35b9..c593cd2e 100644 --- a/javascript/extensions.js +++ b/javascript/extensions.js @@ -1,7 +1,8 @@ function extensions_apply(_, _){
- disable = []
- update = []
+ 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))
@@ -16,11 +17,24 @@ function extensions_apply(_, _){ }
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..."
})
- return []
+
+ var id = randomId()
+ requestProgress(id, gradioApp().getElementById('extensions_installed_top'), null, function(){
+
+ })
+
+ return [id, JSON.stringify(disable)]
}
function install_extension_from_index(button, url){
|