[v12] Connect: Enable font configuration#22122

Merged

gzdunek merged 12 commits intobranch/v12from bot/backport-21965-branch/v12

Feb 23, 2023

+76-79

Commits on Feb 22, 2023

Remove sans serif from config

gzdunek
authored and
github-actions
committed
Pass 'fonts.monoFamily' as style prop

gzdunek
authored and
github-actions
committed
Get rid of getSansSerif function

gzdunek
authored and
github-actions
committed
Use mono font from theme

gzdunek
authored and
github-actions
committed
Add 'terminal.fontFamily' and 'terminal.fontSize' config options

gzdunek
authored and
github-actions
committed
Require 'terminal.fontSize' size to be int

gzdunek
authored and
github-actions
committed
Revert unneeded changes to mono font usage

gzdunek
authored and
github-actions
committed
Add comment with a link to ctrl.ts

gzdunek
authored and
github-actions
committed
Allow 'terminal.fontSize' to be in the range 1-256

gzdunek
authored and
github-actions
committed
Merge branch 'branch/v12' into bot/backport-21965-branch/v12
gzdunek
authored
Merge branch 'branch/v12' into bot/backport-21965-branch/v12
gzdunek
authored

Commits on Feb 23, 2023

Merge branch 'branch/v12' into bot/backport-21965-branch/v12
gzdunek
authored