aboutsummaryrefslogtreecommitdiffstats
path: root/javascript/extensions.js
AgeCommit message (Collapse)AuthorLines
2023-06-25feat(extensions): add toggle all checkbox to Installed tabMartín (Netux) Rodríguez-0/+18
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-05-17Run `eslint --fix` (and normalize tabs to spaces)Aarni Koskela-71/+74
2023-04-30Use substring instead of deprecated substrAarni Koskela-3/+3
2023-04-30Fix unused variablesAarni Koskela-2/+2
2023-04-30Fix a whole bunch of implicit globalsAarni Koskela-1/+1
2023-03-29Various UI fixes in config state tabspace-nuko-2/+8
2023-03-29Save/restore working webui/extension configsspace-nuko-0/+16
2023-03-27Make disable configurable between builtin/extra extensionsspace-nuko-3/+3
2023-01-28add progressbar to extension update check; do not check for updates for ↵AUTOMATIC-3/+17
disabled extensions
2023-01-17update sending input event in java script to not cause exception in browser ↵AUTOMATIC-1/+1
https://github.com/gradio-app/gradio/issues/2981
2022-11-01Added Available tab to extensions UI.AUTOMATIC-1/+12
2022-10-31add initial version of the extensions tabAUTOMATIC-0/+24
fix broken Restart Gradio button