Skip to content

feat(editor): editor pane font size follows terminal font size setting#513

Merged
danshapiro merged 1 commit into
mainfrom
feat/editor-font-setting
Jul 8, 2026
Merged

feat(editor): editor pane font size follows terminal font size setting#513
danshapiro merged 1 commit into
mainfrom
feat/editor-font-setting

Commits

Commits on Jul 8, 2026