From: Mark Levedahl <mdl123@verizon.net>
Date: Sun, 20 May 2007 15:45:49 +0000 (-0400)
Subject: [PATCH] gitk: Update fontsize in patch / tree list
X-Git-Url: http://privyetmir.co.uk/gitweb?a=commitdiff_plain;h=59ddaf3d19c174ab1547f4d8c0d76c564ddbf440;p=gitk

[PATCH] gitk: Update fontsize in patch / tree list

When adjusting fontsize (using ctrl+/-), all panes except the lower right
were updated. This fixes that.

Signed-off-by: Mark Levedahl <mdl123@verizon.net>
Signed-off-by: Paul Mackerras <paulus@samba.org>
---

diff --git a/gitk b/gitk
index 27b7dbd..8e41d56 100755
--- a/gitk
+++ b/gitk
@@ -4695,13 +4695,14 @@ proc redisplay {} {
 }
 
 proc incrfont {inc} {
-    global mainfont textfont ctext canv phase
+    global mainfont textfont ctext canv phase cflist
     global stopped entries
     unmarkmatches
     set mainfont [lreplace $mainfont 1 1 [expr {[lindex $mainfont 1] + $inc}]]
     set textfont [lreplace $textfont 1 1 [expr {[lindex $textfont 1] + $inc}]]
     setcoords
     $ctext conf -font $textfont
+    $cflist conf -font $textfont
     $ctext tag conf filesep -font [concat $textfont bold]
     foreach e $entries {
 	$e conf -font $mainfont