diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2023-05-13 17:25:03 +0000 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2023-05-13 17:25:03 +0000 |
| commit | 2053745c8fc29a0d3c1bbfa07858fb0b21b32e6d (patch) | |
| tree | 8a80f841fc4a5d588e1214111990aca7472a8cc1 /modules/shared.py | |
| parent | 231562ea13e4f697953bdbabd6b76b22a88c587b (diff) | |
| parent | 27f7fbf35cd72d547d830f97828ee13d3d2009aa (diff) | |
| download | stable-diffusion-webui-gfx803-2053745c8fc29a0d3c1bbfa07858fb0b21b32e6d.tar.gz stable-diffusion-webui-gfx803-2053745c8fc29a0d3c1bbfa07858fb0b21b32e6d.tar.bz2 stable-diffusion-webui-gfx803-2053745c8fc29a0d3c1bbfa07858fb0b21b32e6d.zip | |
Merge branch 'v1.2.0-hotfix' into release_candidate
Diffstat (limited to 'modules/shared.py')
| -rw-r--r-- | modules/shared.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/modules/shared.py b/modules/shared.py index 4631965b..b3508883 100644 --- a/modules/shared.py +++ b/modules/shared.py @@ -667,14 +667,19 @@ def reload_gradio_theme(theme_name=None): if not theme_name:
theme_name = opts.gradio_theme
+ default_theme_args = dict(
+ font=["Source Sans Pro", 'ui-sans-serif', 'system-ui', 'sans-serif'],
+ font_mono=['IBM Plex Mono', 'ui-monospace', 'Consolas', 'monospace'],
+ )
+
if theme_name == "Default":
- gradio_theme = gr.themes.Default()
+ gradio_theme = gr.themes.Default(**default_theme_args)
else:
try:
gradio_theme = gr.themes.ThemeClass.from_hub(theme_name)
except Exception as e:
errors.display(e, "changing gradio theme")
- gradio_theme = gr.themes.Default()
+ gradio_theme = gr.themes.Default(**default_theme_args)
|