From 6d15ab284aede0029761ae1da1f112492f5ba423 Mon Sep 17 00:00:00 2001 From: Bartek Stalewski Date: Fri, 10 Nov 2023 22:53:06 +0100 Subject: [PATCH] Change the emoji sizes in the terminal. --- _gui/_configs/foot/foot.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_gui/_configs/foot/foot.ini b/_gui/_configs/foot/foot.ini index c5d505d..55e9845 100644 --- a/_gui/_configs/foot/foot.ini +++ b/_gui/_configs/foot/foot.ini @@ -1,4 +1,4 @@ -font=RobotoMono Nerd Font:style=Medium:pixelsize=14, Noto Color Emoji:style=Regular:size=7 +font=RobotoMono Nerd Font:style=Medium:pixelsize=14, Noto Color Emoji:style=Regular:pixelsize=14 pad=5x5 selection-target=clipboard term=xterm-256color