From: Mark Levedahl Date: Sun, 20 May 2007 15:45:49 +0000 (-0400) Subject: [PATCH] gitk: Update fontsize in patch / tree list X-Git-Url: https://privyetmir.co.uk/gitweb.cgi?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 Signed-off-by: Paul Mackerras --- 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