robert/st
1
0
Fork 0
Code Issues Pull Requests Projects Releases 2 Wiki Activity

Update fonts

Browse Source 
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...
This commit is contained in:
Robert Morrison 2022-08-12 20:49:31 +01:00
parent 01bebe23c4
commit dc0bb1a522
Signed by: robert
GPG Key ID: 73E012EB3F4EC696
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
config.def.h
View File

@ -5,12 +5,12 @@
* *
* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html * font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
*/ */
static char *font = "monospace"; static char *font = "monospace:size=8";
#if FONT2_PATCH #if FONT2_PATCH
/* Spare fonts */ /* Spare fonts */
static char *font2[] = { static char *font2[] = {
"Noto Color Emoji:size=8", "Noto Color Emoji:size=7",
"Noto Sans Mono CJK JP:size=10" "Noto Sans Mono CJK JP:size=8"
/* "Inconsolata for Powerline:pixelsize=12:antialias=true:autohint=true", */ /* "Inconsolata for Powerline:pixelsize=12:antialias=true:autohint=true", */
/* "Hack Nerd Font Mono:pixelsize=11:antialias=true:autohint=true", */ /* "Hack Nerd Font Mono:pixelsize=11:antialias=true:autohint=true", */
}; };