diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2022-11-01 09:59:00 +0300 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2022-11-01 09:59:10 +0300 |
| commit | 5b0f624bdc1335313258f59a37607e699e800c22 (patch) | |
| tree | 7d1a86c829ca26511dba44747276238a0df1f623 /javascript/extensions.js | |
| parent | 5c9b3625fa03f18649e1843b5e9f2df2d4de94f9 (diff) | |
Added Available tab to extensions UI.
Diffstat (limited to 'javascript/extensions.js')
| -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()
+}
|