Commit Graph

12 Commits

Author SHA1 Message Date
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