Skip to content

Make search rounded#1449

Merged
GeopJr merged 1 commit intoGeopJr:mainfrom
lo2dev:rounded-search
Jun 23, 2025
Merged

Make search rounded#1449
GeopJr merged 1 commit intoGeopJr:mainfrom
lo2dev:rounded-search

Conversation

@lo2dev
Copy link
Contributor

@lo2dev lo2dev commented Jun 23, 2025

Ever since I saw Shortwave do it I thought it should be used more widely. I think it works great in pages like search, but it's fine if you don't want this (yet 🧐)

Screenshot From 2025-06-23 09-36-57

@GeopJr
Copy link
Owner

GeopJr commented Jun 23, 2025

LGTM, thanks!

(Can't promise it will pass the final design review, however :P)

@GeopJr GeopJr merged commit 6e14215 into GeopJr:main Jun 23, 2025
5 checks passed
@lo2dev lo2dev deleted the rounded-search branch June 23, 2025 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants