diff options
| author | space-nuko <24979496+space-nuko@users.noreply.github.com> | 2023-03-27 12:44:49 -0400 |
|---|---|---|
| committer | space-nuko <24979496+space-nuko@users.noreply.github.com> | 2023-03-27 12:44:49 -0400 |
| commit | fc8e1008ea93f98554907f25aaf52f24ce661847 (patch) | |
| tree | f60682c3fcd0698ba974781968c8d73bad5c279b /javascript | |
| parent | 2a4d3d21242dcc8b2b9cef85aa8f4227e855dc96 (diff) | |
Make disable configurable between builtin/extra extensions
Diffstat (limited to 'javascript')
| -rw-r--r-- | javascript/extensions.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/javascript/extensions.js b/javascript/extensions.js index c593cd2e..72924a28 100644 --- a/javascript/extensions.js +++ b/javascript/extensions.js @@ -1,5 +1,5 @@ -function extensions_apply(_, _){
+function extensions_apply(_, _, disable_all){
var disable = []
var update = []
@@ -13,10 +13,10 @@ function extensions_apply(_, _){ restart_reload()
- return [JSON.stringify(disable), JSON.stringify(update)]
+ return [JSON.stringify(disable), JSON.stringify(update), disable_all]
}
-function extensions_check(){
+function extensions_check(_, _){
var disable = []
gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
|