all repos — nixfiles @ 0f10c8bbb70030dace8386e514b8cd7881dc2044

System and user configuration, managed by nix and home-manager

Gitk: Configure better fonts
Alan Pearce alan@alanpearce.co.uk
Tue, 29 Jul 2014 19:15:35 +0100
commit

0f10c8bbb70030dace8386e514b8cd7881dc2044

parent

c1f07439bed52dfacae1c88772c85c4509905cd8

1 files changed, 3 insertions(+), 3 deletions(-)

jump to
M tag-git/config/git/gitktag-git/config/git/gitk
@@ -1,6 +1,6 @@-set mainfont {{Lucida Grande} 9}
-set textfont {Monaco 9}
-set uifont {{Lucida Grande} 9 bold}
+set mainfont {{Lucida Grande} 12}
+set textfont {Monaco 12}
+set uifont {{Lucida Grande} 12 bold}
 set tabstop 4
 set findmergefiles 0
 set maxgraphpct 50