Skip to content

Terminal: promote to first-class workspace feature (settings, theming, font) #107

@spamsch

Description

@spamsch

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions