diff options
author | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-02 20:48:58 +0700 |
---|---|---|
committer | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-02 20:48:58 +0700 |
commit | 237e79c77deec1924b3547f49402b9c1e51c9535 (patch) | |
tree | 589f9aea7ea27791df575371ff322d99ad3f3dbc /javascript/extensions.js | |
parent | d5ea878b2aa117588d85287cbd8983aa52177df5 (diff) | |
parent | 172c4bc09f0866e7dd114068ebe0f9abfe79ef33 (diff) |
Merge branch 'master' into gradient-clipping
Diffstat (limited to 'javascript/extensions.js')
-rw-r--r-- | javascript/extensions.js | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/javascript/extensions.js b/javascript/extensions.js new file mode 100644 index 00000000..59179ca6 --- /dev/null +++ b/javascript/extensions.js @@ -0,0 +1,35 @@ +
+function extensions_apply(_, _){
+ disable = []
+ update = []
+ gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x){
+ if(x.name.startsWith("enable_") && ! x.checked)
+ disable.push(x.name.substr(7))
+
+ if(x.name.startsWith("update_") && x.checked)
+ update.push(x.name.substr(7))
+ })
+
+ restart_reload()
+
+ return [JSON.stringify(disable), JSON.stringify(update)]
+}
+
+function extensions_check(){
+ gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
+ x.innerHTML = "Loading..."
+ })
+
+ return []
+}
+
+function install_extension_from_index(button, url){
+ button.disabled = "disabled"
+ button.value = "Installing..."
+
+ textarea = gradioApp().querySelector('#extension_to_install textarea')
+ textarea.value = url
+ textarea.dispatchEvent(new Event("input", { bubbles: true }))
+
+ gradioApp().querySelector('#install_extension_button').click()
+}
|