Flight Log / marimo-team/marimo #3723
feat: add searchable dropdown functionality — a Devin (Cognition) bot flight
The Devin bot (Cognition) opened this pull request in marimo-team/marimo on Feb 8, 2025; merged clean in 2.8 d, merged by @mscolnick: +630 −138, 11 files, 0 reviews.
Flown by
- Lines
- +630 −138
- Files
- 11
- Commits
- 6
- Reviews
- 0
- To merge
- 2.8 d
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
Devin adds a searchable option to mo.ui.dropdown in marimo-team/marimo, closing a linked issue with a new SearchableSelect component. Its stated aim is to mirror the existing Multiselect component. The change spans 630 additions, 138 deletions, 11 files, and six commits. It merged clean after 67.8 hours, with zero change requests and zero review comments.
From the pull request description
Fixes #3719 Add searchable functionality to mo.ui.dropdown by implementing a new SearchableSelect component, similar to the existing Multiselect component. Changes: - Add `searchable` boolean parameter to mo.ui.dropdown that defaults to False - Create SearchableSelect component for searchable dro…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDevin AI
- —committedpre-commit-ci[bot]
- —committedDevin AI
- —committedDevin AI
- —committedMyles Scolnick
- —committedMyles Scolnick
- Feb 10, 2025mergedmscolnick
- Feb 10, 2025closedmscolnick
Read next
Cite this flight: AgentRiders Flight Log, marimo-team/marimo#3723, record updated Nov 4, 2026, https://agentriders.com/logs/marimo-team/marimo/3723/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.