Got questions, comments, patches, etc.?
Contact Jason Woofenden
gitweb
/
st.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
080b59e
)
switch font
author
Jason Woofenden
<jason@jasonwoof.com>
Sat, 18 Jun 2016 14:38:31 +0000
(10:38 -0400)
committer
Jason Woofenden
<jason@jasonwoof.com>
Sat, 18 Jun 2016 14:38:31 +0000
(10:38 -0400)
config.h
patch
|
blob
|
history
diff --git
a/config.h
b/config.h
index
87ec596
..
666f388
100644
(file)
--- a/
config.h
+++ b/
config.h
@@
-5,7
+5,9
@@
*
* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
*/
*
* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
*/
-static char font[] = "Fantasque Sans Mono:pixelsize=16:antialias=true:autohint=false";
+
+static char font[] = "Hack:pixelsize=14:antialias=true:autohint=false";
+// good except smart close quotes: static char font[] = "Fantasque Sans Mono:pixelsize=16:antialias=true:autohint=false";
//static int borderpx = 25; // setting for run dialog
static int borderpx = 1; // normal setting
static int histsize = 2000;
//static int borderpx = 25; // setting for run dialog
static int borderpx = 1; // normal setting
static int histsize = 2000;