Matthijs Melchior <mmelchior@xxxxxxxxx> 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. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
