From 1aa7070e6c2350bac6ab78eb01c26c0d6e92cba2 Mon Sep 17 00:00:00 2001 From: Matthias Diehl Date: Tue, 16 Jan 2024 07:35:49 +0100 Subject: [PATCH] changed random label to random seed --- language/en.json | 2 +- webui.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/language/en.json b/language/en.json index fd40ca2f8..3ff01fd62 100644 --- a/language/en.json +++ b/language/en.json @@ -46,7 +46,7 @@ "Image Number": "Image Number", "Negative Prompt": "Negative Prompt", "Describing what you do not want to see.": "Describing what you do not want to see.", - "Random": "Random", + "Random Seed": "Random Seed", "Seed": "Seed", "\ud83d\udcda History Log": "\uD83D\uDCDA History Log", "Image Style": "Image Style", diff --git a/webui.py b/webui.py index 581e3101b..38cf03862 100644 --- a/webui.py +++ b/webui.py @@ -234,7 +234,7 @@ def ip_advance_checked(x): info='Describing what you do not want to see.', lines=2, elem_id='negative_prompt', value=modules.config.default_prompt_negative) - seed_random = gr.Checkbox(label='Random', value=True) + seed_random = gr.Checkbox(label='Random Seed', value=True) image_seed = gr.Textbox(label='Seed', value=0, max_lines=1, visible=False) # workaround for https://github.com/gradio-app/gradio/issues/5354 def random_checked(r):