>From 7c7a8f6dbe5c4f96ddbc508fa4ab9c2dbae56d82 Mon Sep 17 00:00:00 2001
From: Marco Colombo <m.colombo@ed.ac.uk> Date: Fri, 9 Nov 2007 10:19:01 +0000 Subject: [PATCH] gitk: Use a different background color for the active head.
Currently the background color of all heads is green. The active head is distinguished only by the use of a bold font. This patch changes the background color of the active head to orange, thus making it visually more separate from the other heads.
Signed-off-by: Marco Colombo <m.colombo@ed.ac.uk> --- gitk | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)
Show changes to gitk +1 −0
diff --git a/gitk b/gitk index 1da0b0a..dacbc31 100755 --- a/gitk +++ b/gitk @@ -4038,6 +4038,7 @@ proc drawtags {id x xt y1} { if {[incr nheads -1] >= 0} { set col green if {$tag eq $mainhead} { + set col orange set font mainfontbold } } else {
-- 1.5.3.4