Zak Siddiqui
opened 12 hours ago
-
The workspace terminal is rendered in the browser with xterm.js and uses a fixed font stack hardcoded in the UI:
Consolas, 'Liberation Mono', 'Menlo, Courier', monospaceAnswers to your questions:
-
Installing a Nerd Font on your machine is not enough. The terminal only requests the fonts above (ending with the browser’s default
monospace). It does not look for a Nerd Font by name, so NeoVim plugins that rely on Nerd Font glyphs will not display those icons correctly in the workspace terminal. -
The font is fixed. There is currently no preference or setting to choose a different terminal font.
-
There is no supported way today to switch the workspace terminal to a Nerd Font. Changing that would require a product change (for example, a configurable font setting, or shipping/using a Nerd Font in the web UI).
Please let us know if this answers your question, or if you’d like this tracked as a feature request.
-
| Type |
Question
|
| Priority |
Normal
|
| Assignee | |
| Labels |
No labels
|
Why doesn't the workspace terminal support nerd fonts?
Do I need to install a Nerd Font, or does the workspace terminal have a fixed font?
If the workspace terminal has a fixed font, is there any way that we can change it to be a Nerd Font?
The purpose of this is that when using the terminal interactively, I use tools and plugins inside neoVim that work optimally with Nerd Font because it displays graphic elements much more fluently.