Add 'workbench.fontFamily' config option

[babakfp]

Hi,

How It Works

This is a super simple PR (only 7 lines) that simply adds a string field option in Settings > Workbench to customize the font-family of the workbench.

It listens for configuration changes and adds the font-family CSS property (with the user-configured value) to the main container of the workbench (.monaco-workbench).

Video Preview

2025-03-09.16-07-32.mp4

Why Accept This PR

• It doesn't harm anyone or break anything.
• It satisfies the simple needs of so many people.
• It improves UX and user satisfaction.
• It reduces negativity, frustration towards vsCode, maintainers and Microsoft Corporation.
• It just gives people what they want.
• It reduces possible risks of users getting infected with malware caused by the action taken to change the font-family of the workbench.
• Users can simply ignore it if it causes issues for them, just like other settings where an option may not work as expected for some users.
• The maintainer who merges this PR will receive many ❤️s :)

Related Issues

• Allow to change the font size and font of the workbench #519 (the PR doesn't close this issue).

---

@bpasero
@isidorn
@alexr00

[flowchartsman]

Considering this only allows adjusting the face, this is only a partial solution to the linked PR, which also mentions size; however, given the tight space constraints, it’s probably better not to let the user set the size arbitrarily, but to set it in the code using an absolute metric based on the existing font size.

I think a good way to do this would be to use something like capsize to get an absolute height measurement for the default workbench font, and then save this in code as the constant value applied to all fonts. This would scale with global zoom, and should hopefully keep things looking more or less how we’re used to seeing then now.

I think it would probably also be nice to have a separate “workspace zoom” setting, using a small selection of pre-chosen unit-less values like [“smallest”, “small”, “normal”, “large”, “largest”] chosen carefully to avoid it getting out of control in either direction j