7 Commits

Author	SHA1	Message	Date
AUTOMATIC	98947d173e	run installers for newly installed extensions	2022-11-12 11:11:47 +03:00
AUTOMATIC	e5b4e3f820	add tags to extensions, and ability to filter out tags ... list changed Settings keys in UI do not print VRAM/etc stats everywhere but in calls that use GPU	2022-11-06 10:12:53 +03:00
innovaciones	0d7e01d995	Open extensions links in new tab ... Fixed for "Available" tab	2022-11-04 12:14:32 -06:00
Ju1-js	e33d6cbddd	Make extension manager Remote links open a new tab	2022-11-02 21:04:49 -07:00
AUTOMATIC	5b0f624bdc	Added Available tab to extensions UI.	2022-11-01 09:59:10 +03:00
AUTOMATIC	dc7425a56e	disable access to extension stuff for non-local servers	2022-10-31 18:33:44 +03:00
AUTOMATIC	910a097ae2	add initial version of the extensions tab ... fix broken Restart Gradio button	2022-10-31 17:37:02 +03:00