()
| 22 | } |
| 23 | |
| 24 | function extensions_check() { |
| 25 | var disable = []; |
| 26 | |
| 27 | gradioApp().querySelectorAll('#extensions input[type="checkbox"]').forEach(function(x) { |
| 28 | if (x.name.startsWith("enable_") && !x.checked) { |
| 29 | disable.push(x.name.substring(7)); |
| 30 | } |
| 31 | }); |
| 32 | |
| 33 | gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x) { |
| 34 | x.innerHTML = "Loading..."; |
| 35 | }); |
| 36 | |
| 37 | |
| 38 | var id = randomId(); |
| 39 | requestProgress(id, gradioApp().getElementById('extensions_installed_html'), null, function() { |
| 40 | |
| 41 | }); |
| 42 | |
| 43 | return [id, JSON.stringify(disable)]; |
| 44 | } |
| 45 | |
| 46 | function install_extension_from_index(button, url) { |
| 47 | button.disabled = "disabled"; |
nothing calls this directly
no test coverage detected