Compare commits

..

1 Commits

Author SHA1 Message Date
Robert Morrison
dc0bb1a522
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...
2022-08-12 20:49:31 +01:00

View File

@ -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", */
};