parent
7bd4c3b6dc
commit
9da25119fd
2 changed files with 4 additions and 4 deletions
|
@ -82,10 +82,10 @@
|
||||||
<!-- Set default monospace font -->
|
<!-- Set default monospace font -->
|
||||||
<alias>
|
<alias>
|
||||||
<family>monospace</family>
|
<family>monospace</family>
|
||||||
<prefer><family>Fantasque Sans Mono</family></prefer>
|
<prefer><family>IBM Plex Mono</family></prefer>
|
||||||
</alias>
|
</alias>
|
||||||
<alias>
|
<alias>
|
||||||
<family>Fantasque Sans Mono</family>
|
<family>IBM Plex Mono</family>
|
||||||
<default><family>monospace</family></default>
|
<default><family>monospace</family></default>
|
||||||
</alias>
|
</alias>
|
||||||
|
|
||||||
|
|
|
@ -11,9 +11,9 @@ lines = 10000
|
||||||
hide-when-typing=yes
|
hide-when-typing=yes
|
||||||
|
|
||||||
[main]
|
[main]
|
||||||
font=monospace:size=12
|
font=monospace:size=11
|
||||||
line-height=18
|
line-height=18
|
||||||
vertical-letter-offset=4
|
vertical-letter-offset=2
|
||||||
|
|
||||||
pad=4x4 center
|
pad=4x4 center
|
||||||
" > ~/.config/foot/foot.ini
|
" > ~/.config/foot/foot.ini
|
||||||
|
|
Loading…
Reference in a new issue