-
Notifications
You must be signed in to change notification settings - Fork 30.6k
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
Allow to change the font size and font of the workbench #519
Comments
Further to this, it seems weird that if I want larger fonts outside of the editor I have to zoom in each time I restart. |
pls see #291 for the zooming issue (in general pls do not create combo issues 😄 ) |
+1 v1.4.0 seemed to make the file explorer fonts larger/bolder, making it harder to traverse a large directory |
+1 |
+1 |
2 similar comments
👍 |
👍 |
Does the new UI theming interface give access to the font size? |
In addition, I would like to increase the line spacing in the explorer. File names are way too close to each other and is fatiguing to look at. |
Ha, I was gonna suggest exposing line height so I could decrease it and pack more files into each screen. |
just to add another reason:
|
+1 Please add support for changing font size of EXPLORER window. |
Jetbrain is way more better, isn't it? |
I'm still using Pulsar Editor, the descendent of Atom Editor. Highly customizable UI with simple styles. And this issue is still holding me from using VS Code. Yes, Pulsar has fewer features, not so well supported in such direction, but at least there are very communicable maintainers, helped a lot with different errors, third-party packages, etc. |
Pls we need this feat! |
+1 for this. |
once Zed becomes stable i am dropping this junk for good. tho i am planning to switch to nvim |
+1 |
aware me on zed? |
zed is so far okay but language server config is a pain. and some other customization is lacking |
please help this old man, my eye is not that good |
it's been 10 years already, please just let us change the font lol |
i don't care about ai. just let me change the font. |
Happy 2025! 🎄🎉🥳 This issue is now a full-fledged 10-year-old! 🎂 It's practically ready for middle school and deserves some Christmas gifts at this point. How you've grown, little issue. |
Ya dejen cambiarlo por favor |
Dejen cambiar de favor
El vie, 10 de ene de 2025 3:10 a. m., Manuel Artero Anguita <
***@***.***> escribió:
… Happy 2025! 🎄🎉🥳
This issue is now a full-fledged *10-year-old*! 🎂 It's practically ready
for middle school and deserves some Christmas gifts at this point. How
you've grown, little issue.
here's to many more comments in the thread! 🥳
—
Reply to this email directly, view it on GitHub
<#519 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/BNOY6N6BHRWJ2BIS4APLQQ32J6FCDAVCNFSM4BVABFYKU5DIOJSWCZC7NNSXTN2JONZXKZKDN5WW2ZLOOQ5TENJYGIYTENRRGIZA>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
omg 10 years , it is that difficult? come on |
Ground control to Microsoft... can you hear us? Do you copy? |
It will have been 10 years only by November 2025! They obviously feel like better not rushing out an immature solution ;-) |
wtb new explorer font pls |
+1 |
Si quiero nuevas fuentes xfavor
El jue, 6 de feb de 2025 9:47 p. m., linzhipeng98 ***@***.***>
escribió:
… +1
—
Reply to this email directly, view it on GitHub
<#519 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/BNOY6N4FC5JB34JL3UW6HV32OQUDHAVCNFSM4BVABFYKU5DIOJSWCZC7NNSXTN2JONZXKZKDN5WW2ZLOOQ5TENRUGE4DOMZVGU4Q>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Ten years later today, this problem still hasn't been solved. What is Microsoft really doing? |
Microsoft, you're doing great, you have a child but don't seem to care about it |
Ok adelante
El mar, 11 de feb de 2025 2:49 a. m., Joseph Perthold <
***@***.***> escribió:
… Microsoft, you're doing great, you have a child but don't seem to care
about it
—
Reply to this email directly, view it on GitHub
<#519 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/BNOY6N7MVD5RJNOYADSFGM32PG2QHAVCNFSM4BVABFYKU5DIOJSWCZC7NNSXTN2JONZXKZKDN5WW2ZLOOQ5TENRVGAYTKMRVGU2Q>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
I heard the issue solves itself when it turns 18 years old |
At the moment, we can only change the font size / font of the editor. If we want to change the font size, we need to use a roundabout method of "zooming in / out". It would be nice if this could be adjusted through the preferences.
The text was updated successfully, but these errors were encountered: