From dc0bb1a522dfd3c8241518585c2e52e2617884bb Mon Sep 17 00:00:00 2001 From: Robert Morrison Date: Fri, 12 Aug 2022 20:49:31 +0100 Subject: [PATCH] Update fonts Update the fonts to have a fixed size. Makes things play nicer across different monitors (providing the DPI is set correctly) Might cause some issues with incorrect or esoteric DPI choices... --- config.def.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/config.def.h b/config.def.h index f4990ed..4941811 100644 --- a/config.def.h +++ b/config.def.h @@ -5,12 +5,12 @@ * * font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html */ -static char *font = "monospace"; +static char *font = "monospace:size=8"; #if FONT2_PATCH /* Spare fonts */ static char *font2[] = { - "Noto Color Emoji:size=8", - "Noto Sans Mono CJK JP:size=10" + "Noto Color Emoji:size=7", + "Noto Sans Mono CJK JP:size=8" /* "Inconsolata for Powerline:pixelsize=12:antialias=true:autohint=true", */ /* "Hack Nerd Font Mono:pixelsize=11:antialias=true:autohint=true", */ };