reduce default font size

This commit is contained in:
Vladimir Mandic
2024-01-17 10:02:55 -05:00
parent 0c584b21b8
commit 59dd5d0767
3 changed files with 4 additions and 4 deletions
+2 -2
View File
@@ -632,8 +632,8 @@ def create_infotext(p: StableDiffusionProcessing, all_prompts=None, all_seeds=No
if 'txt2img' in p.ops:
pass
if shared.backend == shared.Backend.ORIGINAL:
args["Variation seed"] = None if p.subseed_strength == 0 else all_subseeds[index],
args["Variation strength"] = None if p.subseed_strength == 0 else p.subseed_strength,
args["Variation seed"] = all_subseeds[index] if p.subseed_strength > 0 else None
args["Variation strength"] = p.subseed_strength if p.subseed_strength > 0 else None
if 'hires' in p.ops or 'upscale' in p.ops:
args["Second pass"] = p.enable_hr
args["Hires force"] = p.hr_force
+1 -1
View File
@@ -505,7 +505,7 @@ options_templates.update(options_section(('ui', "User Interface"), {
"motd": OptionInfo(True, "Show MOTD"),
"gradio_theme": OptionInfo("black-teal", "UI theme", gr.Dropdown, lambda: {"choices": theme.list_themes()}, refresh=theme.refresh_themes),
"theme_style": OptionInfo("Auto", "Theme mode", gr.Radio, {"choices": ["Auto", "Dark", "Light"]}),
"font_size": OptionInfo(16, "Font size", gr.Slider, {"minimum": 8, "maximum": 32, "step": 1, "visible": True}),
"font_size": OptionInfo(14, "Font size", gr.Slider, {"minimum": 8, "maximum": 32, "step": 1, "visible": True}),
"tooltips": OptionInfo("UI Tooltips", "UI tooltips", gr.Radio, {"choices": ["None", "Browser default", "UI tooltips"], "visible": False}),
"gallery_height": OptionInfo("", "Gallery height", gr.Textbox),
"compact_view": OptionInfo(False, "Compact view"),
+1 -1
Submodule wiki updated: 7a5d11c69f...783f44b492