summaryrefslogtreecommitdiff
path: root/gitk
diff options
context:
space:
mode:
authorLibravatar Mark Levedahl <mdl123@verizon.net>2007-05-20 11:45:49 -0400
committerLibravatar Paul Mackerras <paulus@samba.org>2007-05-22 10:07:05 +1000
commit59ddaf3d19c174ab1547f4d8c0d76c564ddbf440 (patch)
treeb4e4e54026f3071b52203e605e764cdcc03da714 /gitk
parent[PATCH] gitk: Make selection highlight color configurable (diff)
downloadtgif-59ddaf3d19c174ab1547f4d8c0d76c564ddbf440.tar.xz
[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-xgitk3
1 files changed, 2 insertions, 1 deletions
diff --git a/gitk b/gitk
index 27b7dbd4f7..8e41d56897 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