diff options
| author | Michael Hunteman <michael@huntm.net> | 2023-08-27 20:50:06 -0500 |
|---|---|---|
| committer | Michael Hunteman <michael@huntm.net> | 2023-08-27 20:50:06 -0500 |
| commit | 237990f064f97df14bdb20fcb878998a89959a49 (patch) | |
| tree | d6eb15bcde9e8ec5b21baca7d8b3bc2e4d51135b | |
| parent | 46299f171fc7da27117edff479b8253426265cd9 (diff) | |
Change foot font size to 12
| -rw-r--r-- | .config/foot/foot.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.config/foot/foot.ini b/.config/foot/foot.ini index 6df5704..42e90aa 100644 --- a/.config/foot/foot.ini +++ b/.config/foot/foot.ini @@ -7,7 +7,7 @@ # horizontal-letter-offset=0 # vertical-letter-offset=0 # dpi-aware=yes -font=DejaVu Sans Mono:size=11 +font=DejaVu Sans Mono:size=12 # initial-window-size-pixels=700x500 # Or, initial-window-size-chars=80x24 |