commit 59ddaf3d19c174ab1547f4d8c0d76c564ddbf440
author Mark Levedahl <mdl123@verizon.net> Sun May 20 11:45:49 2007 -0400
committer Paul Mackerras <paulus@samba.org> Tue May 22 10:07:05 2007 +1000
tree b4e4e54026f3071b52203e605e764cdcc03da714
parent 60378c0c0996522600dc31864dc60f5ca7d84529

[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>

gitk

diff --git a/gitk b/gitk
index 27b7dbd..8e41d56 100755
--- a/gitk
+++ b/gitk
@@ -4695,13 +4695,14 @@
 }
 
 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