5 Commits (bf949a5307dfec9fece0e43f97d18ecb31503a67)

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