A proper Unicode Font setting #14331

Open
opened 2026-01-31 04:07:23 +00:00 by claunia · 0 comments
Owner

Originally created by @ndrogers on GitHub (Jun 24, 2021).

Description of the new feature/enhancement

I often work with unicode, and as anyone who uses unicode can attest, there aren't many fonts that support really nice unicode glyphs. I have seen the feature request for supporting multiple fonts, as Visual Studio Code does, which allows the user to specify a list of fonts. When a glyph is missing from the first font, VSCode allows missing characters to be rendered using subsequent fonts in the font-family. This feature request has been sitting around for a good few years without movement.

Instead of waiting for that feature to never be implemented, I had an alternative idea that might be an easier fix. I want a second font property in the settings. When there is no glyph available in the primaryFont, the unicodeFont will be used to render the missing glyph.

//settings.json
{

    ...,
    "PrimaryFont": "My Favorite Monospace Font",
    "UnicodeFont": "My Nice Unicode Font",
    ...
}

Alternative approach

You could very well just give me a hotkey to toggle between a primaryFont and secondaryFont so that I can switch when I need to, instead of constantly having to keep my settings file open and manually switch between them.

Originally created by @ndrogers on GitHub (Jun 24, 2021). # Description of the new feature/enhancement I often work with unicode, and as anyone who uses unicode can attest, there aren't many fonts that support really nice unicode glyphs. I have seen the feature request for supporting multiple fonts, as Visual Studio Code does, which allows the user to specify a list of fonts. When a glyph is missing from the first font, VSCode allows missing characters to be rendered using subsequent fonts in the font-family. This feature request has been sitting around for a good few years without movement. **Instead of waiting for that feature to never be implemented**, I had an alternative idea that might be an easier fix. I want a second font property in the settings. When there is no glyph available in the `primaryFont`, the `unicodeFont` will be used to render the missing glyph. ```js //settings.json { ..., "PrimaryFont": "My Favorite Monospace Font", "UnicodeFont": "My Nice Unicode Font", ... } ``` # Alternative approach You could very well just give me a hotkey to toggle between a `primaryFont` and `secondaryFont` so that I can switch when I need to, instead of constantly having to keep my settings file open and manually switch between them.
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 04:07:23 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#14331