From c37931a74bef94c681c647d68ca7aa4548e1aa95 Mon Sep 17 00:00:00 2001 From: Alex Date: Wed, 21 Sep 2022 23:17:17 -0500 Subject: [PATCH] change foot font size --- .config/foot/foot.ini | 2 +- .local/scripts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.config/foot/foot.ini b/.config/foot/foot.ini index 0f2f605..dd73c90 100644 --- a/.config/foot/foot.ini +++ b/.config/foot/foot.ini @@ -8,7 +8,7 @@ # title=foot # locked-title=no - font=monospace:size=10 + font=monospace:size=11 # font-bold= # font-italic= # font-bold-italic= diff --git a/.local/scripts b/.local/scripts index 89870ee..d908d79 160000 --- a/.local/scripts +++ b/.local/scripts @@ -1 +1 @@ -Subproject commit 89870ee40a8c7333c5b8ae78c35f1bfe92823678 +Subproject commit d908d79b674f381f346731c9512ffebcf01ec52b