From ba87b9993d35a23652d86a585590024c49a7a1b9 Mon Sep 17 00:00:00 2001 From: oobabooga <112222186+oobabooga@users.noreply.github.com> Date: Tue, 9 Jan 2024 06:06:57 -0800 Subject: [PATCH] Change a label in the gallery extension --- extensions/gallery/script.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/gallery/script.py b/extensions/gallery/script.py index 739d5841..1cb7f27f 100644 --- a/extensions/gallery/script.py +++ b/extensions/gallery/script.py @@ -108,7 +108,7 @@ def ui(): gr.HTML(value="") with gr.Row(): filter_box = gr.Textbox(label='', placeholder='Filter', lines=1, max_lines=1, container=False, elem_id='gallery-filter-box') - gr.ClearButton(filter_box, value='🗑️', elem_classes='refresh-button') + gr.ClearButton(filter_box, value='Clear', elem_classes='refresh-button') update = gr.Button("Refresh", elem_classes='refresh-button') gallery = gr.Dataset(