From 428b5ef27c49a9202788921e349d7df9a23b7003 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= Date: Thu, 7 Jan 2021 11:16:29 +0100 Subject: [PATCH] foot.ini: add new options: line-height, letter-spacing and *-letter-offset --- foot.ini | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/foot.ini b/foot.ini index 76491372..ed9e5a72 100644 --- a/foot.ini +++ b/foot.ini @@ -1,22 +1,29 @@ # -*- conf -*- +# shell=$SHELL (if set, otherwise user's default shell from /etc/passwd) +# term=foot +# login-shell=no + # font=monospace:size=8 # font-bold= # font-italic= # font-bold-italic= +# line-height= +# letter-spacing= +# horizontal-letter-offset=0 +# vertical-letter-offset=0 # dpi-aware=yes + # initial-window-size-pixels=700x500 # Or, # initial-window-size-chars= # initial-window-mode=windowed # pad=2x2 # optionally append 'center' -# shell=$SHELL (if set, otherwise user's default shell from /etc/passwd) -# term=foot -# login-shell=no -# workers= + # bold-text-in-bright=no # bell=none # word-delimiters=,│`|:"'()[]{}<> # notify=notify-send -a foot -i foot ${title} ${body} +# workers= [scrollback] # lines=1000