diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-04-29 12:45:43 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-29 12:45:43 +0300 |
| commit | e6cbfcfe5b42dd8d40ddaf2ecd448b8b0c070565 (patch) | |
| tree | 6c31ea8ced8590afd4ba019be838bea41885b6cd /javascript/extensions.js | |
| parent | c9647c8d23efa8c939c6af39878784e246082122 (diff) | |
| parent | 2c935d8eb0be10edb226e145a72eb373451cb984 (diff) | |
Merge branch 'dev' into gradio-theme-support
Diffstat (limited to 'javascript/extensions.js')
| -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){
|