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. |
After I read this thread, it hits different 🙀 |
2600 upvotes and 7 years of conversation but no movement, i've lost hope on this feature request tbh. |
+1 |
Workaround on Linux: Run this script after every updates if you used official package and with superuser permission: #!/bin/sh
# Edited, thanks to @metaleap.
codes="code code-insiders vscodium"
for code in $codes; do
style_file="/usr/share/$code/resources/app/out/vs/workbench/workbench.desktop.main.css"
if [ -f "$style_file" ]; then
favorite="Iosevka"
# Change font to monospace.
sed -i "s/\.linux{[^}]\+/.linux{font-family:\"$favorite\",\"Noto Sans Mono\"/" \
"$style_file"
sed -i "s/\.linux:lang(zh-Hans){[^}]\+/.linux:lang(zh-Hans){font-family:\"$favorite\",\"Noto Sans Mono CJK SC\"/" \
"$style_file"
sed -i "s/\.linux:lang(zh-Hant){[^}]\+/.linux:lang(zh-Hant){font-family:\"$favorite\",\"Noto Sans Mono CJK TC\"/" \
"$style_file"
sed -i "s/\.linux:lang(ja){[^}]\+/.linux:lang(ja){font-family:\"$favorite\",\"Noto Sans Mono CJK JP\"/" \
"$style_file"
sed -i "s/\.linux:lang(ko){[^}]\+/.linux:lang(ko){font-family:\"$favorite\",\"Noto Sans Mono CJK KR\"/" \
"$style_file"
# Change font-size to what you want.
sed -i 's/\.monaco-workbench \.part>\.content{[^}]\+/.monaco-workbench .part>.content{font-size:18px/' \
"$style_file"
fi
done
exit 0 |
… On Dec 13, 2023, at 1:46 AM, GXFG ***@***.***> wrote:
+1
—
Reply to this email directly, view it on GitHub <#519 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABT7DNCGP6H3CHEWYSKZJ63YJFFM7AVCNFSM4BVABFYKU5DIOJSWCZC7NNSXTN2JONZXKZKDN5WW2ZLOOQ5TCOBVGMZTKNBUGUYQ>.
You are receiving this because you were mentioned.
|
@zero00072 handy script, thanks! Btw. some of us might have to change this line:
to
😎 |
Just stumbled onto Zed. It allows the granular flexibility of distinct fonts for UI, code windows, and the terminal. Without errors after updating. Not feature complete by any stretch of the imagination, but enough is there for me to take it for a spin while this remains absent in VSCode. (Though currently Mac only.) I gotta be able to see my IDE, you know? |
@wallyfoo Thank for the tip. Zed looks pretty cool, just downloaded the beta from zed.dev and gave it a spin. They're right about the speed, and it offers some excellent features. Not sure if it's enough to get me to switch away from sublimetext.com, but I'll keep an eye on it. |
We're approaching 9 years since this issue was opened! Can we get to 10? |
@kobina Brandon I’m 100% positive that this issue will make it to 10y. Perhaps the VS Code team is trying to set some sort of world record?
However, I do have to say that this is the first time in my life that I’ve ever considered planning a birthday party for a Github Issue.
Maybe we should organize "#519 Conf”? We could all gather from around the world and share ephemeral CSS hacks for being able to read the file tree of our primary professional tool.
Does anyone know a reading glasses company that is looking to sponsor a “tech” conference?
… On Jan 31, 2024, at 3:53 AM, Kobina Brandon ***@***.***> wrote:
We're getting to 9 years since this issue was opened! Can we get to 10?!!!
—
Reply to this email directly, view it on GitHub <#519 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABT7DND5MWDIJVAI23FQFQDYRIBADAVCNFSM4BVABFYKU5DIOJSWCZC7NNSXTN2JONZXKZKDN5WW2ZLOOQ5TCOJRHA3DKNBWGMZQ>.
You are receiving this because you were mentioned.
|
10 is not enough already, we should gain at least 23 years to beat the current record: https://arstechnica.com/gadgets/2023/10/22-year-old-firefox-tooltip-bug-fixed-in-a-few-lines-offering-hope-to-us-all/ 😁 And seems MS is already trying to achieve this using the current issue 😂😂😂 |
That's still not as old as Microsoft's own record for the bug of storing local time in the hardware clock. Not sure if that counts as fixed, because I think the option to fix it is still off by default and difficult to find. I think Windows also still claims that UTC and/or GMT switches from +0000 to +0100 and back every year. |
You are a TS programmer can't you make a PR for it? |
Anyone working on this feat rn ? |
I've been getting notifications on this issue for years now and it has been open for way too long without any attention. 💀 For those Mac users that are interested, come check out CodeEdit 📝 (shameless plug, I know 😅). We still have work to do, but at least we give issues the attention our community deserves! 💪 |
+1 |
+1 We need this. Soon this issue will be old enough to drive. |
Shouldn't this be trivial to implement? |
It's just CSS under the hood for the styling, so yes. If you use an extension like fonted, it works until the next update. It would be nice for this to Just Work™ without an extension, or have the extension-implemented change survive through an update. |
@wallyfoo VSCode Tweaker of Windhawk just works and survives updates, but it's Windows-only. |
How do I learn how to learn how to use this? It doesn't have much documentation on the linked page. |
@DanKaplanSES after you install it, you can use css just like you can to customize styles of a website. The example that is provided is: |
For windows users, you may want to try https://github.com/horsing/coder (will replace font to |
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: