From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 11 Feb 2008 14:56:43 +0000 (+0000)
Subject: gitconfig: Reduce the font size in git-gui.
X-Git-Url: https://git.distorted.org.uk/~mdw/profile/commitdiff_plain/4d93931d1e3fb92ca806fc8f3b2c07895430c608?ds=inline

gitconfig: Reduce the font size in git-gui.

At 11pt the results came out horrible on one machine.  Maybe this will
help.
---

diff --git a/gitconfig b/gitconfig
index 5d38112..4f63592 100644
--- a/gitconfig
+++ b/gitconfig
@@ -56,4 +56,4 @@
 	mdw = mdw@distorted.org.uk
 [gui]
 	fontui = -family helvetica -size 11 -weight normal -slant roman -underline 0 -overstrike 0
-	fontdiff = -family fixed -size 11 -weight normal -slant roman -underline 0 -overstrike 0
+	fontdiff = -family fixed -size 10 -weight normal -slant roman -underline 0 -overstrike 0