Martín (Netux) Rodríguez
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
Aarni Koskela
9c54b78d9d
Run eslint --fix (and normalize tabs to spaces)
2023-05-17 16:09:06 +03:00
Aarni Koskela
c714300265
Use substring instead of deprecated substr
2023-04-30 22:26:11 +03:00
Aarni Koskela
f6a40a2ffa
Fix unused variables
2023-04-30 22:26:11 +03:00
Aarni Koskela
8ccc27127b
Fix a whole bunch of implicit globals
2023-04-30 22:08:52 +03:00
space-nuko
f3320b802c
Various UI fixes in config state tab
2023-03-29 18:35:25 -05:00
space-nuko
ad5afcaae0
Save/restore working webui/extension configs
2023-03-29 16:55:33 -05:00
space-nuko
fc8e1008ea
Make disable configurable between builtin/extra extensions
2023-03-27 12:44:49 -04:00
AUTOMATIC
f8feeaaedb
add progressbar to extension update check; do not check for updates for disabled extensions
2023-01-28 15:57:56 +03:00
AUTOMATIC
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
AUTOMATIC
5b0f624bdc
Added Available tab to extensions UI.
2022-11-01 09:59:10 +03:00
AUTOMATIC
910a097ae2
add initial version of the extensions tab
...
fix broken Restart Gradio button
2022-10-31 17:37:02 +03:00
