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!mo.ui.multiselect
? That lets you type into it: https://docs.marimo.io/api/inputs/multiselect.html#marimo.ui.multiselect