diff options
| author | Mark Levedahl <mdl123@verizon.net> | 2007-05-20 11:45:49 -0400 |
|---|---|---|
| committer | Paul Mackerras <paulus@samba.org> | 2007-05-22 10:07:05 +1000 |
| commit | 59ddaf3d19c174ab1547f4d8c0d76c564ddbf440 (patch) | |
| tree | b4e4e54026f3071b52203e605e764cdcc03da714 /gitk | |
| parent | 60378c0c0996522600dc31864dc60f5ca7d84529 (diff) | |
| download | git-59ddaf3d19c174ab1547f4d8c0d76c564ddbf440.tar.gz | |
[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>
Diffstat (limited to 'gitk')
| -rwxr-xr-x | gitk | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |