Code

[PATCH] gitk: Update fontsize in patch / tree list
authorMark Levedahl <mdl123@verizon.net>
Sun, 20 May 2007 15:45:49 +0000 (11:45 -0400)
committerPaul Mackerras <paulus@samba.org>
Tue, 22 May 2007 00:07:05 +0000 (10:07 +1000)
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 27b7dbd4f74b514e5b648626300db9305b6046f5..8e41d56897f2e20611fce6eada9f8165809c869b 100755 (executable)
--- 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