From c2bd0b574330149cf74357cce30dc91530dc8adf Mon Sep 17 00:00:00 2001 From: Tobias Schmidl Date: Fri, 22 Nov 2013 12:41:51 +0100 Subject: [PATCH] Smaller font on git diff --- gitconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gitconfig b/gitconfig index a7f5f2a..d2a4993 100644 --- a/gitconfig +++ b/gitconfig @@ -3,7 +3,7 @@ email = T.Schmidl@erhardt-leimer.com signingkey = 0xa1554441 [gui] - fontdiff = -family \"Source Code Pro\" -size 9 -weight normal -slant roman -underline 0 -overstrike 0 + fontdiff = -family \"Source Code Pro\" -size 8 -weight normal -slant roman -underline 0 -overstrike 0 fontui = -family \"DejaVu Sans\" -size 9 -weight normal -slant roman -underline 0 -overstrike 0 spellingdictionary = en [alias]