From 4d93931d1e3fb92ca806fc8f3b2c07895430c608 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Mon, 11 Feb 2008 14:56:43 +0000 Subject: [PATCH] gitconfig: Reduce the font size in git-gui. At 11pt the results came out horrible on one machine. Maybe this will help. --- gitconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.11.0