Consider stretch/weight settings advanced and hide them with a toggle

Signed-off-by: Mohammad AlSaleh <CE.Mohammad.AlSaleh@gmail.com>
This commit is contained in:
Mohammad AlSaleh 2024-01-10 01:38:13 +03:00 • committed by Jeremy Soller
parent 59804dc8ab
commit 4ec3e5b2f3
2 changed files with 55 additions and 26 deletions

View file

@ -11,6 +11,7 @@ dark = Dark
light = Light
syntax-dark = Syntax dark
syntax-light = Syntax light
advanced-font-settings = Advanced Font Settings
default-font = Default font
default-font-stretch = Default font stretch
default-font-weight = Default font weight