Search preview#1884

Merged

josevalim merged 14 commits intomainfrom

Apr 8, 2024

Commits on Apr 4, 2024

Fix the left and right arrow navigation. The right arrow should expand, and the left arrow should close, whereas currently they both just toggle
ThaddeusJiang
committed

Commits on Apr 5, 2024

Commits on Apr 6, 2024

Styling
josevalim
committed