From c07398672101173f662de8a28af5d2c6ecbbb0fb Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Fri, 20 Jun 2025 17:24:09 +0200 Subject: [PATCH] Update home/.config/foot/foot.ini --- home/dot_config/foot/foot.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/dot_config/foot/foot.ini b/home/dot_config/foot/foot.ini index 7e3768b..c968dfd 100644 --- a/home/dot_config/foot/foot.ini +++ b/home/dot_config/foot/foot.ini @@ -24,7 +24,7 @@ shell=/usr/bin/zsh # box-drawings-uses-font-glyphs=no # dpi-aware=no # font=CaskaydiaCove Nerd Font:size=12 -font=IBM Plex Mono Nerd, JetBrainsMono:size=11 +font=JetBrainsMono:size=12 dpi-aware=yes initial-window-size-pixels=700x500 # Or,