Make disable configurable between builtin/extra extensions

This commit is contained in:
space-nuko
2023-03-27 12:44:49 -04:00
parent 2a4d3d2124
commit fc8e1008ea
5 changed files with 30 additions and 16 deletions

View File

@@ -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){