Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Make highlighting of current diff hunk customizable. #595
Yeah, that's true, so "(the original request)" was misleading :-/
Are you generally happy with the highlighting done my making the text bold now? If not why do you want to keep it elsewhere but not with diff hunks?
I don't really want to add another face. Yet another option would be to change all faces that could be overridden by the highlight to set foreground and the highlight to use the background again. But that I definitely don't want to do because it would cause major pains for users of themes.