Limit the amount of values shown in a Dropdown element
Hi all,I’m looking for a way to add a limit to the amount of values shown in a gr.Dropdown element. Right now, I have the following:input_actor_incl = gr.Dropdown(choices=list(unique_actors), label=“Include by actor”, filterable=True, multiselect=True, info=“Include movies featuring selected actor(s)”)What I’m trying to do, is to create a movie recommender where a user can filter based on crewmembers such as actors. In this case, I have a list of unique actors with thousands of, if not more, values. It would make more sense to a user to only see the 10 (or any other number) most relevant values in the Dropdown list, which would dynamically change when the user starts typing. For example, when the user clicks on the Dropdown, only the top 10 actors are shown, alphabetically ordered, but when the user starts typing ‘Leonardo’, only the top 10 values with ‘Leonardo’ would be shown, again alphabetically.Anyone have an idea on how to implement such a feature? I looked at the docs and couldn’t find a parameter that specifies a max number of values shown.Thanks for the help!