From: Christian Heller 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%7Byoutube_prefix%7D%7D%7B%7Bresult.id%7D%7D?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