Commit graph

4 commits

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