-
Notifications
You must be signed in to change notification settings - Fork 29.4k
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
Draft: Allow to change the font, font size and line height of the sidebar. #63602
Conversation
Does this PR change the default values? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am new to vscode codebase, but seems fine.
I set default values of font font-family form shell.css, and remove fixed font size or use 'inherit' Instead in css file of workbench. I will add some screenshots here later. |
any updates. |
Patiently waiting on this PR to go through! Do we have any screenshots? Thanks for all the hard work put into this PR! |
@saighost I appreciate the effort, but before you start fixing merge conflicts and/or catching up, can I ask how this PR solves the issue of elements in the UI requiring more space with a larger font compared to what we have today? Just to give an example: today we hardcode the height of tree/list items to be 22px in height, e.g. for search view: There is probably a ton more assumptions also in CSS where we set a height/width without checking for the actual font being used. This to me is the biggest challenge in providing a setting for variable font family/sizes. |
@bpasero At a basic level I think we'd all love the ability to set a different UI font face. I understand that tweaking line-heights/font-sizes would be too many moving parts to think about, also this is probably already catered for with the zoom level. In my own personal use case i don't really like the Ubuntu font on linux as the UI font, i much prefer Roboto and would like the ability to add this into the mix. |
@saighost how can we provide a setting for the font without solving the issue of hardcoded dimensions throughout the workbench? That only asks for trouble imho. |
Sorry, for so late. I have a long holiday at Spring Festival time. ps: I can't believe there are so many hardcodes in your code. |
BTW, most users in issues want to change sidebar, not all of workbench. |
I am fine leaving this open but I want to avoid that people think this is the full solution. Can you maybe turn this PR into a "Draft PR" or update the title. |
I tried but not so many time for it. |
This is stale, has merge conflicts and a draft for the reasons outlined. Feel free to fix the merge conflicts and open a new PR as draft. Closing. |
hmm we are not getting custom font for sidebar in vscode now :( |
Add configuration of workbench for font.
#519