mirrors/git
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source 
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>
This commit is contained in:
Mark Levedahl
2007-05-20 11:45:49 -04:00
committed by Paul Mackerras
parent 60378c0c09
commit 59ddaf3d19
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
gitk
View File

@ -4695,13 +4695,14 @@ proc redisplay {} {
} }
proc incrfont {inc} { proc incrfont {inc} {
global mainfont textfont ctext canv phase global mainfont textfont ctext canv phase cflist
global stopped entries global stopped entries
unmarkmatches unmarkmatches
set mainfont [lreplace $mainfont 1 1 [expr {[lindex $mainfont 1] + $inc}]] set mainfont [lreplace $mainfont 1 1 [expr {[lindex $mainfont 1] + $inc}]]
set textfont [lreplace $textfont 1 1 [expr {[lindex $textfont 1] + $inc}]] set textfont [lreplace $textfont 1 1 [expr {[lindex $textfont 1] + $inc}]]
setcoords setcoords
$ctext conf -font $textfont $ctext conf -font $textfont
$cflist conf -font $textfont
$ctext tag conf filesep -font [concat $textfont bold] $ctext tag conf filesep -font [concat $textfont bold]
foreach e $entries { foreach e $entries {
$e conf -font $mainfont $e conf -font $mainfont