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

monaco: adjust find-widget font-family #9937

Merged
merged 1 commit into from
Aug 20, 2021

Conversation

vince-fugnitto
Copy link
Member

What it does

The commit updates the font-family for both the input and result label in the find-widget (embedded file-search) in the monaco editor. The change updates the font-family like the rest of the application for consistency (and aligns with vscode) rather than using the default monospaced font.

before:

file-search-before

after:

file-search-after

How to test

  1. start the application, and open an editor
  2. execute the embedded file-search (ctrl+f when the editor has focus)
  3. confirm both the input and label has the proper font
  4. perform some search and confirm it is still correct

Review checklist

Reminder for reviewers

Signed-off-by: vince-fugnitto [email protected]

The commit updates the font-family for both the input and result label
in the `find-widget` (embedded file-search) in the monaco editor. The
change updates the font-family like the rest of the application for
consistency (and aligns with vscode) rather than using the default
monospaced font.

Signed-off-by: vince-fugnitto <[email protected]>
@vince-fugnitto vince-fugnitto added monaco issues related to monaco ui/ux issues related to user interface / user experience labels Aug 20, 2021
@vince-fugnitto vince-fugnitto self-assigned this Aug 20, 2021
Copy link
Member

@msujew msujew left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me 👍

I already addressed this (without mentioning it) in my codicon PR but a dedicated PR makes more sense for this either way.

@vince-fugnitto vince-fugnitto merged commit 47b68c7 into master Aug 20, 2021
@vince-fugnitto vince-fugnitto deleted the vf/file-search-font-family branch August 20, 2021 16:40
@github-actions github-actions bot added this to the 1.17.0 milestone Aug 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
monaco issues related to monaco ui/ux issues related to user interface / user experience
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants