Commit Graph

14 Commits

Author SHA1 Message Date
w-e-w 6b8458eb9f if extensions page not loaded, prevent apply
since they are built-in extensions we can make the assumption that they will be at least one or more extensions

Co-Authored-By: Andray <33491867+light-and-ray@users.noreply.github.com>
2024-02-09 23:19:39 +09:00
AUTOMATIC1111 9a4a1aac81 get progressbar to display correctly in extensions tab 2023-08-30 08:05:18 +03:00
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