person_selection = mo.ui.dropdown(
options=dict(df.select(['name_full', 'person_id']).iter_rows()),
value="John Smith",
)df has thousands of unique records. It feels like I should be able to type a first or a last name into some mini search box and have those options appear. Thank you for your time!