Public/automatic
1
0
Fork 0
mirror of https://github.com/vladmandic/automatic synced 2026-09-02 02:50:47 +02:00
Code Issues Packages Projects Releases Wiki Activity

add builtin gradio themes

Browse Source
This commit is contained in:
Vladimir Mandic
2023-04-21 15:47:09 -04:00
parent c205251c65
commit 4a848e43d3
8 changed files with 22 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
javascript/gradio-base.jpg
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 101 KiB

javascript/gradio-glass.jpg
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 97 KiB

javascript/gradio-monochrome.jpg
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 89 KiB

javascript/gradio-soft.jpg
BIN
View File
Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 215 KiB

javascript/ui.js
+2 -2
View File
@@ -310,11 +310,11 @@ function create_theme_element() {
function preview_theme() {
const name = gradioApp().getElementById('setting_gradio_theme').querySelectorAll('span')[1].innerText; // ugly but we want current value without the need to set apply
if (name === 'black-orange' || name === 'gradio/default') {
if (name === 'black-orange' || name.startsWith('gradio/')) {
el = document.getElementById('theme-preview') || create_theme_element();
el.style.display = el.style.display === 'block' ? 'none' : 'block';
if (name === 'black-orange') el.src = '/file=javascript/black-orange.jpg';
else el.src = '/file=javascript/gradio-default.jpg';
else el.src = `/file=javascript/${name.replace('/', '-')}.jpg`;
} else {
fetch('/file=javascript/themes.json')
.then((r) => r.json())