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

Update EditorConfig UI font size to be consistent with VS environment settings #54599

Merged
merged 1 commit into from
Jul 26, 2021

Conversation

Youssef1313
Copy link
Member

@Youssef1313 Youssef1313 commented Jul 4, 2021

image

The font was, by default, very big to an extent that was a bit annoying IMO. Besides that, the change also results in respecting the font size option the user can specify in ToolsOptionsEnvironmentFonts and ColorsShow settings for EnvironmentSize.

This contributes to #53171.

@Youssef1313 Youssef1313 requested a review from a team as a code owner July 4, 2021 10:28
@Youssef1313 Youssef1313 mentioned this pull request Jul 4, 2021
7 tasks
@jinujoseph jinujoseph added the Community The pull request was submitted by a contributor who is not a Microsoft employee. label Jul 5, 2021
@jmarolf jmarolf merged commit 720c1c1 into dotnet:main Jul 26, 2021
@ghost ghost added this to the Next milestone Jul 26, 2021
@Youssef1313 Youssef1313 deleted the font-editorconfig-ui branch July 27, 2021 11:43
@allisonchou allisonchou modified the milestones: Next, 17.0.P3 Jul 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants