dd268c48c9
feat(extensions): add toggle all checkbox to Installed tab
...
Small QoL addition.
While there is the option to disable all extensions with the radio buttons at the top, that only acts as an added flag and doesn't really change the state of the extensions in the UI.
An use case for this checkbox is to disable all extensions except for a few, which is important for debugging extensions.
You could do that before, but you'd have to uncheck and recheck every extension one by one.
2023-06-25 00:48:46 -03:00
9c54b78d9d
Run `eslint --fix` (and normalize tabs to spaces)
2023-05-17 16:09:06 +03:00
c714300265
Use substring instead of deprecated substr
2023-04-30 22:26:11 +03:00
f6a40a2ffa
Fix unused variables
2023-04-30 22:26:11 +03:00
8ccc27127b
Fix a whole bunch of implicit globals
2023-04-30 22:08:52 +03:00
f3320b802c
Various UI fixes in config state tab
2023-03-29 18:35:25 -05:00
ad5afcaae0
Save/restore working webui/extension configs
2023-03-29 16:55:33 -05:00
fc8e1008ea
Make disable configurable between builtin/extra extensions
2023-03-27 12:44:49 -04:00
f8feeaaedb
add progressbar to extension update check; do not check for updates for disabled extensions
2023-01-28 15:57:56 +03:00
38b7186e6e
update sending input event in java script to not cause exception in browser https://github.com/gradio-app/gradio/issues/2981
2023-01-17 14:15:47 +03:00
5b0f624bdc
Added Available tab to extensions UI.
2022-11-01 09:59:10 +03:00
910a097ae2
add initial version of the extensions tab
...
fix broken Restart Gradio button
2022-10-31 17:37:02 +03:00
Martín (Netux) Rodríguez