diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2024-06-01 13:32:36 +0200 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2024-06-01 13:34:53 +0200 |
| commit | 82d07da3add2393c53d20e41e8aba383f058858f (patch) | |
| tree | 20e62d7b1cc5428703f1cde9500efa54c52daf50 /config/wayland/foot/foot.ini | |
| parent | cf01ac4c10ecd0cdffed722fd58301ebfddd0d61 (diff) | |
checkpoint
Diffstat (limited to 'config/wayland/foot/foot.ini')
| -rw-r--r-- | config/wayland/foot/foot.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/wayland/foot/foot.ini b/config/wayland/foot/foot.ini index 00e7a37..a1fc1e8 100644 --- a/config/wayland/foot/foot.ini +++ b/config/wayland/foot/foot.ini @@ -9,7 +9,7 @@ term=xterm-256color title="" # locked-title=no -font=monospace:size=11 +font=monospace:size=10.5 # font-bold=<bold variant of regular font> # font-italic=<italic variant of regular font> # font-bold-italic=<bold+italic variant of regular font> |