diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2022-10-31 17:36:45 +0300 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2022-10-31 17:37:02 +0300 |
| commit | 910a097ae2ed78a62101951f1b87137f9e1baaea (patch) | |
| tree | 3157c84132729023031c42aebcba4ea9a964dbd1 /javascript | |
| parent | 9b384dfb5c05129f50cc3f0262f89e8b788e5cf3 (diff) | |
add initial version of the extensions tab
fix broken Restart Gradio button
Diffstat (limited to 'javascript')
| -rw-r--r-- | javascript/extensions.js | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/javascript/extensions.js b/javascript/extensions.js new file mode 100644 index 00000000..86f5336d --- /dev/null +++ b/javascript/extensions.js @@ -0,0 +1,24 @@ +
+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 []
+}
\ No newline at end of file |