Re: [PATCH] New selection indication and softer colors

Matthijs Melchior [off-list ref] wrote:

The default font was already bold, so marking the selected file with bold
font did not work.  Change that to lightgray background.
Also, the header colors are now softer, giving better readability.

Thanks, this is actually kind of nice.  I've applied it to my
maint and pushed it out.  I feel a gitgui-0.7.3 coming real soon
(maint has 8 new commits on it already).

-- 
Shawn.