Subject: [PATCH] gitk: Use a different background color for the active head.

From: Marco Colombo <[email-masked]>
Date: Fri, 09 Nov 2007 11:21:48 +0000

>>From 7c7a8f6dbe5c4f96ddbc508fa4ab9c2dbae56d82 Mon Sep 17 00:00:00 2001
From: Marco Colombo <[email-masked]>
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 <[email-masked]>
---
 gitk |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

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