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

Option to change the font of the vscode App Window #136427

Closed
dipankardas011 opened this issue Nov 4, 2021 · 8 comments
Closed

Option to change the font of the vscode App Window #136427

dipankardas011 opened this issue Nov 4, 2021 · 8 comments

Comments

@dipankardas011
Copy link

Attribute values are immutable If is it possible to add option to choose as per the user

using the debugger, I got

Screenshot 2021-11-04 160458

elements like the

Screenshot 2021-11-04 160257

not necessary but many IDE's have option to change it 😃
@dipankardas011
Copy link
Author

got this in file
c:/Users/DipankarDas/AppData/Local/Programs/Microsoft%20VS%20Code/resources/app/out/vs/workbench/workbench.desktop.main.css

@gjsjohnmurray
Copy link
Contributor

Did you try the editor.fontFamily setting?

@dipankardas011
Copy link
Author

Yes it only changes the editor fontFamily

@dipankardas011
Copy link
Author

changing from the developer tools

image

@gjsjohnmurray
Copy link
Contributor

Yes it only changes the editor fontFamily

Then the title you gave to this issue is ambiguous because it says "editor window".

@dipankardas011
Copy link
Author

O sorry but I didn't know what the property name is

@dipankardas011 dipankardas011 changed the title Option to change the font of the vscode editor window Option to change the font of the vscode App Window Nov 4, 2021
@IllusionMH
Copy link
Contributor

Looks like duplicate of #519 and #26128

@joyceerhl
Copy link
Collaborator

Duplicate of #519

@joyceerhl joyceerhl marked this as a duplicate of #519 Nov 5, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Dec 20, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@IllusionMH @gjsjohnmurray @joyceerhl @dipankardas011