try it like this
Browse files
app.py
CHANGED
@@ -33,17 +33,18 @@ def filter_languages(search_text, selected_languages):
|
|
33 |
|
34 |
# If no results, show a message instead
|
35 |
if not filtered:
|
36 |
-
filtered = ["No match found
|
37 |
|
38 |
-
return gr.update(choices=filtered, value=
|
39 |
|
40 |
def add_language(selected_language, selected_languages):
|
41 |
if not selected_language:
|
42 |
return selected_languages
|
43 |
-
selected_list = selected_languages.
|
|
|
44 |
if selected_language not in selected_list:
|
45 |
selected_list.append(selected_language)
|
46 |
-
return "" if len(selected_list) == 0 else (",".join(selected_list)+",")
|
47 |
|
48 |
|
49 |
with gr.Blocks() as demo:
|
|
|
33 |
|
34 |
# If no results, show a message instead
|
35 |
if not filtered:
|
36 |
+
filtered = ["No match found"]
|
37 |
|
38 |
+
return gr.update(choices=filtered, value=filtered[0] + "...") # Keep dropdown open and selectable
|
39 |
|
40 |
def add_language(selected_language, selected_languages):
|
41 |
if not selected_language:
|
42 |
return selected_languages
|
43 |
+
selected_list = selected_languages.split(",") if selected_languages else []
|
44 |
+
selected_list = list(set(selected_list) & set(languages.get_all_supported_languages()))
|
45 |
if selected_language not in selected_list:
|
46 |
selected_list.append(selected_language)
|
47 |
+
return "" if len(selected_list) == 0 else (",".join(selected_list)+",")
|
48 |
|
49 |
|
50 |
with gr.Blocks() as demo:
|