Spaces:
Running
Running
fix for Gradio 6.1.0
Browse files
app.py
CHANGED
|
@@ -156,7 +156,7 @@ def update_ui_labels(new_lang):
|
|
| 156 |
"""Aggiorna tutti i componenti Gradio in base alla lingua selezionata."""
|
| 157 |
|
| 158 |
# Aggiorna il titolo del blocco (gr.Markdown)
|
| 159 |
-
title_update = gr.Markdown
|
| 160 |
|
| 161 |
# Aggiornamenti dei componenti
|
| 162 |
return [
|
|
@@ -230,7 +230,7 @@ with gr.Blocks(theme=gr.themes.Ocean()) as demo:
|
|
| 230 |
|
| 231 |
with gr.Row():
|
| 232 |
lang_selector = gr.Radio(choices=["it", "en", "es", "fr", "de", "ru"],value=DEFAULT_LANG, label=L("language_label"))
|
| 233 |
-
num_results = gr.Slider(1, 10, value=5, step=1, label=L("results_label"))
|
| 234 |
|
| 235 |
with gr.Tabs() as tabs:
|
| 236 |
with gr.Tab(L("plot_search_tab")) as t1:
|
|
|
|
| 156 |
"""Aggiorna tutti i componenti Gradio in base alla lingua selezionata."""
|
| 157 |
|
| 158 |
# Aggiorna il titolo del blocco (gr.Markdown)
|
| 159 |
+
title_update = gr.Markdown(value=f"## {L('app_title', new_lang)}")
|
| 160 |
|
| 161 |
# Aggiornamenti dei componenti
|
| 162 |
return [
|
|
|
|
| 230 |
|
| 231 |
with gr.Row():
|
| 232 |
lang_selector = gr.Radio(choices=["it", "en", "es", "fr", "de", "ru"],value=DEFAULT_LANG, label=L("language_label"))
|
| 233 |
+
num_results = gr.Slider(1, 10, value=5, step=1, label=L("results_label"), buttons = None)
|
| 234 |
|
| 235 |
with gr.Tabs() as tabs:
|
| 236 |
with gr.Tab(L("plot_search_tab")) as t1:
|