Foot : Adjust font size by 1 point.
This commit is contained in:
parent
65fd0bc6c7
commit
7a2aa652d5
|
@ -5,6 +5,7 @@
|
||||||
font-italic=${style.font.monospace.name}:size=${toString(style.font.size.terminal)}
|
font-italic=${style.font.monospace.name}:size=${toString(style.font.size.terminal)}
|
||||||
font-bold-italic=${style.font.monospace.name}:size=${toString(style.font.size.terminal)}
|
font-bold-italic=${style.font.monospace.name}:size=${toString(style.font.size.terminal)}
|
||||||
dpi-aware=yes
|
dpi-aware=yes
|
||||||
|
font-size-adjustment=1
|
||||||
|
|
||||||
[colors]
|
[colors]
|
||||||
alpha=${toString(style.opacity.terminal)}
|
alpha=${toString(style.opacity.terminal)}
|
||||||
|
|
Loading…
Reference in a new issue