Nulo/puntos
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Cambiar monospace a Noto Sans Mono

Browse source
This commit is contained in:
Cat /dev/Nulo 2022-05-08 20:36:53 -03:00
parent f859882082
commit 6e51b9e20e
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.config/fontconfig/fonts.conf
View file

@ -82,10 +82,10 @@
<!-- Set default monospace font --> <!-- Set default monospace font -->
<alias> <alias>
<family>monospace</family> <family>monospace</family>
<prefer><family>JetBrains Mono</family></prefer> <prefer><family>Noto Sans Mono</family></prefer>
</alias> </alias>
<alias> <alias>
<family>JetBrains Mono</family> <family>Noto Sans Mono</family>
<default><family>monospace</family></default> <default><family>monospace</family></default>
</alias> </alias>

2
.config/foot/foot.ini
View file

@ -6,8 +6,6 @@ hide-when-typing=yes
[main] [main]
font=monospace:pixelsize=19 font=monospace:pixelsize=19
line-height=29px
vertical-letter-offset=3px
pad=4x4 pad=4x4