gitk: Use a different background color for the active head.
PATCH 1/1 gitk: Use a different background color for the active head.
Quoted 1 line
From
7c7a8f6dbe5c4f96ddbc508fa4ab9c2dbae56d82Mon Sep 17 00:00:00 2001
From: Marco Colombo <[email protected]>
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 protected]>
--- gitk | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)
gitk +1 -0
@@ -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 {
Signature · 1 line
1.5.3.4