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

Compare commits

base: robert:2022-07-07
Branches Tags
robert:Configure
robert:REL-2022-08-12
robert:2022-07-07
..
compare: robert:Configure
Branches Tags
robert:Configure
robert:REL-2022-08-12
robert:2022-07-07

1 Commits
2022-07-07 ... Configure

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
1 changed files with 3 additions and 3 deletions
Show Stats 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", */
}; };