From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 21 Mar 2017 18:26:54 +0000 (+0100)
Subject: W530: Change default xterm font size.
X-Git-Url: https://plomlompom.com/repos/%7B%7Bprefix%7D%7D/%7B%7B%20web_path%20%7D%7D/%7B%7Bdb.prefix%7D%7D/do_day?a=commitdiff_plain;h=31ec196d1ef353fd8889de11d3eac6b3cca21db8;p=config

W530: Change default xterm font size.
---

diff --git a/dotfiles/user/thinkpad/W530/Xresources-local b/dotfiles/user/thinkpad/W530/Xresources-local
index e44a769..c0418e5 100644
--- a/dotfiles/user/thinkpad/W530/Xresources-local
+++ b/dotfiles/user/thinkpad/W530/Xresources-local
@@ -1,5 +1,5 @@
 ! font size
-XTerm*faceSize: 10
+XTerm*faceSize: 8
 xterm*VT100*faceSize1: 7
 xterm*VT100*faceSize2: 8
 xterm*VT100*faceSize3: 9