Minor changes

This commit is contained in:
oobabooga 2023-12-04 07:25:18 -08:00
parent 427a165597
commit 0931ed501b

View file

@ -5,6 +5,7 @@ import gradio as gr
from modules.html_generator import get_image_cache from modules.html_generator import get_image_cache
from modules.shared import gradio, settings from modules.shared import gradio, settings
cards = [] cards = []
@ -109,6 +110,7 @@ def ui():
filter_box = gr.Textbox(label='', placeholder='Filter', lines=1, max_lines=1, container=False, elem_id='gallery-filter-box') 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='🗑️', elem_classes='refresh-button')
update = gr.Button("Refresh", elem_classes='refresh-button') update = gr.Button("Refresh", elem_classes='refresh-button')
gallery = gr.Dataset( gallery = gr.Dataset(
components=[gr.HTML(visible=False)], components=[gr.HTML(visible=False)],
label="", label="",