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

Compare commits

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

No commits in common. "Configure" and "2022-07-07" have entirely different histories.
Configure ... 2022-07-07

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:size=8"; static char *font = "monospace";
#if FONT2_PATCH #if FONT2_PATCH
/* Spare fonts */ /* Spare fonts */
static char *font2[] = { static char *font2[] = {
"Noto Color Emoji:size=7", "Noto Color Emoji:size=8",
"Noto Sans Mono CJK JP:size=8" "Noto Sans Mono CJK JP:size=10"
/* "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", */
}; };