diff options
| author | Riccardo Giovanetti <29801031+Harvester62@users.noreply.github.com> | 2022-11-01 08:27:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-01 08:27:34 +0100 |
| commit | 68c486be614284a68a0f6b9792f0838e616b917e (patch) | |
| tree | 2f1d5e07d198156f22748c2ffbd1ad4ad70e4906 /javascript | |
| parent | 8cc20f90f485b054699a2d1e96e29bbc891265ae (diff) | |
| parent | 5b0f624bdc1335313258f59a37607e699e800c22 (diff) | |
Merge branch 'AUTOMATIC1111:master' into Italian
Diffstat (limited to 'javascript')
| -rw-r--r-- | javascript/extensions.js | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/javascript/extensions.js b/javascript/extensions.js index 86f5336d..59179ca6 100644 --- a/javascript/extensions.js +++ b/javascript/extensions.js @@ -21,4 +21,15 @@ function extensions_check(){ })
return []
-}
\ No newline at end of file +}
+
+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()
+}
|