diff options
author | June McEnroe <june@causal.agency> | 2021-02-14 16:29:40 -0500 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2021-02-14 16:29:40 -0500 |
commit | 3766dd2f473f6245058181be72f06c469f34c653 (patch) | |
tree | ffc46454125b8d778f5a6581f2c2f521b3860e60 /home/.config/X/resources | |
parent | Add install targets to bin (diff) | |
download | src-3766dd2f473f6245058181be72f06c469f34c653.tar.gz src-3766dd2f473f6245058181be72f06c469f34c653.zip |
Set font size back down to 11
I don't know. 11 is definitely big enough, there's something else. Perhaps just how macOS renders everything with a slightly heavier stroke.
Diffstat (limited to '')
-rw-r--r-- | home/.config/X/resources | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.config/X/resources b/home/.config/X/resources index 185bdfc1..0bd53934 100644 --- a/home/.config/X/resources +++ b/home/.config/X/resources @@ -19,7 +19,7 @@ XTerm*VT100*translations: #override \n\ Super <Key>C: copy-selection(CLIPBOARD) \n\ Super <Key>V: insert-selection(CLIPBOARD) -XTerm*faceName: Luxi Mono:size=12 +XTerm*faceName: Luxi Mono:size=11 XTerm*internalBorder: 6 XTerm*colorBDMode: true XTerm*scrollBar: false |