Compare commits
No commits in common. "Configure" and "2022-07-07" have entirely different histories.
Configure
...
2022-07-07
|
|
@ -5,12 +5,12 @@
|
|||
*
|
||||
* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
|
||||
*/
|
||||
static char *font = "monospace:size=8";
|
||||
static char *font = "monospace";
|
||||
#if FONT2_PATCH
|
||||
/* Spare fonts */
|
||||
static char *font2[] = {
|
||||
"Noto Color Emoji:size=7",
|
||||
"Noto Sans Mono CJK JP:size=8"
|
||||
"Noto Color Emoji:size=8",
|
||||
"Noto Sans Mono CJK JP:size=10"
|
||||
/* "Inconsolata for Powerline:pixelsize=12:antialias=true:autohint=true", */
|
||||
/* "Hack Nerd Font Mono:pixelsize=11:antialias=true:autohint=true", */
|
||||
};
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user