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.

Sign up for GitHub

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

Jump to bottom

search-in-workspace: improve styling of the search options #12678

Closed
vince-fugnitto opened this issue Jul 4, 2023 · 0 comments · Fixed by #12697
Closed

search-in-workspace: improve styling of the search options #12678

vince-fugnitto opened this issue Jul 4, 2023 · 0 comments · Fixed by #12697
Labels
search in workspace issues related to the search-in-workspace ui/ux issues related to user interface / user experience

Comments

@vince-fugnitto
Copy link
Member

Feature Description:

The search-in-workspace options (buttons) are inconsistent with the rest of the application, and should be updated to resemble other toolbar items and alignment:

theia:

theia-search-options

vscode:

vscode-search-options
@vince-fugnitto vince-fugnitto added search in workspace issues related to the search-in-workspace ui/ux issues related to user interface / user experience labels Jul 4, 2023
@vladarama vladarama mentioned this issue Jul 11, 2023
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
search in workspace issues related to the search-in-workspace ui/ux issues related to user interface / user experience
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

ui/ux: styling search options vladarama/theia
1 participant
@vince-fugnitto