Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(search): match DocSearch style with Neovim #330

Merged
merged 5 commits into from
Jun 28, 2023

Conversation

shortcuts
Copy link
Contributor

@shortcuts shortcuts commented Jun 27, 2023

disclaimer: take a look at #328 first as this branch is stacked on it.

This PR aims at matching the DocSearch styles to the Neovim colors, see table for preview.

Description Before After
Update of the search button and keys Screenshot 2023-06-28 at 00 11 16 Screenshot 2023-06-28 at 22 45 57
Update of the modal and result highlights Screenshot 2023-06-28 at 00 12 01 Screenshot 2023-06-28 at 00 12 21

Feel free to suggest changes / color variations.

@justinmk
Copy link
Member

justinmk commented Jun 27, 2023

Beautiful. Only nit is that the top-right search box is now rather subdued, I think it's useful for it to be somewhat attention-grabbing. Could its border be radioactive green like the popup input:

image

@teto
Copy link
Member

teto commented Jun 27, 2023

I was going to do the same comment, the search bar is too subtle.The new modal is top notch

@shortcuts
Copy link
Contributor Author

Thanks for the feedback and glad you like it! Will make the changes by the end of the day

@shortcuts
Copy link
Contributor Author

@justinmk @teto updated the style and PR body to have a green border on the search button

@teto
Copy link
Member

teto commented Jun 28, 2023

It's better. Fine by me. You might want to rebase to resolve the merge conflict.

@shortcuts shortcuts force-pushed the feat/docsearch-style branch from 3afbee3 to d4333dd Compare June 28, 2023 20:50
@justinmk justinmk merged commit 2b4f9e4 into neovim:master Jun 28, 2023
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.

3 participants