Problem
The terminal font stack is hardcoded in terminalTheme.ts:
fontFamily: '"SFMono-Regular", "Cascadia Code", "JetBrains Mono", Menlo, Monaco, Consolas, monospace',
There is no way for users to override this without patching the source. This matters most for people running Nerd Fonts (FiraCode, JetBrains Mono NF, etc.) — which are common for tools like Starship, Oh My Zsh, or anything that renders powerline/icon glyphs. Without a matching font in the stack, those glyphs render as boxes.
Proposed fix
Add a terminalFontFamily (and while we're at it, terminalFontSize) field to the settings store, exposed as a text input in the Developer section of the Settings panel. getTerminalTheme reads from settings rather than using a hardcoded string.
Broader note
This is a good moment to ask whether the terminal should still live exclusively under Developer Mode. A configurable, polished terminal is a feature many users want as a first-class part of the workspace — not a debug tool. Worth discussing whether the terminal graduates out of the developer gate entirely, with font/size settings in a dedicated Terminal section rather than bolted onto Developer settings.
Problem
The terminal font stack is hardcoded in
terminalTheme.ts:There is no way for users to override this without patching the source. This matters most for people running Nerd Fonts (FiraCode, JetBrains Mono NF, etc.) — which are common for tools like Starship, Oh My Zsh, or anything that renders powerline/icon glyphs. Without a matching font in the stack, those glyphs render as boxes.
Proposed fix
Add a
terminalFontFamily(and while we're at it,terminalFontSize) field to the settings store, exposed as a text input in the Developer section of the Settings panel.getTerminalThemereads from settings rather than using a hardcoded string.Broader note
This is a good moment to ask whether the terminal should still live exclusively under Developer Mode. A configurable, polished terminal is a feature many users want as a first-class part of the workspace — not a debug tool. Worth discussing whether the terminal graduates out of the developer gate entirely, with font/size settings in a dedicated Terminal section rather than bolted onto Developer settings.