Mikaela/shell-things
1
0
Fork 0
mirror of https://gitea.blesmrt.net/mikaela/shell-things.git synced 2024-12-04 09:19:23 +01:00
Code Issues Projects Releases Wiki Activity

foot/font: use Terminus for consistency with vconsole

Browse Source
This commit is contained in:
Aminda Suomalainen 2024-07-16 00:29:21 +03:00
parent 200accfef1
commit 7f2179ca93
Signed by: Mikaela
SSH Key Fingerprint: SHA256:CXLULpqNBdUKB6E6fLA1b/4SzG0HvKD19PbIePU175Q
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
conf/foot/font.ini
View File

@ -1,14 +1,14 @@
# 15 Fixes ÄÖ with Comic Shanns, workaround of https://codeberg.org/dnkl/foot/issues/1511 # 15 Fixes ÄÖ with Comic Shanns, workaround of https://codeberg.org/dnkl/foot/issues/1511
line-height=15 #line-height=15
# Font size 7 is comfortable on Lumina # Font size 7 is comfortable on Lumina
#font=Comic Shanns Mono-Regular:size=7,Noto Sans Mono:size=7, Noto Color Emoji #font=Comic Shanns Mono-Regular:size=7,Noto Sans Mono:size=7, Noto Color Emoji
#font=Liberation Mono:size=7,Noto Sans Mono:size=7, Noto Color Emoji #font=Terminus:size=10, Liberation Mono:size=7,Noto Sans Mono:size=7, Noto Color Emoji
# while 10 is great on Sedric and possibly safer default # while 10 is great on Sedric and possibly safer default
#font=Comic Shanns Mono-Regular:size=10,Noto Sans Mono:size=10, Noto Color Emoji #font=Comic Shanns Mono-Regular:size=10,Noto Sans Mono:size=10, Noto Color Emoji
font=Liberation Mono:size=10,Noto Sans Mono:size=10, Noto Color Emoji font=Terminus:size=10, Liberation Mono:size=10,Noto Sans Mono:size=10, Noto Color Emoji
# Zaldaryn again is using size 12 # Zaldaryn again is using size 12
#font=Comic Shanns Mono-Regular:size=12,Noto Sans Mono:size=12, Noto Color Emoji #font=Comic Shanns Mono-Regular:size=12,Noto Sans Mono:size=12, Noto Color Emoji
#font=Liberation Mono:size=12,Noto Sans Mono:size=12, Noto Color Emoji #font=Terminus:size=12 Liberation Mono:size=12,Noto Sans Mono:size=12, Noto Color Emoji