Hi Philippe,
[to make me completely confused about which spelling for
"Phillip"/"Philippe" to use, Philip Oakley needs to chime in.]
On Fri, 13 Nov 2020, Philippe Blain wrote:
quoted
Le 11 nov. 2020 à 07:28, Johannes Schindelin via GitGitGadget [off-list ref] a écrit :
From: Johannes Schindelin <redacted>
This still needs
s/needs/leads/
Of course!
Thanks,
Dscho
quoted
to inconsistencies when both config names are used: the
initial diff will be colored by the diff machinery. Once edited by a
user, a hunk has to be re-colored by `git add -p`, though, which would
then use the other setting to color the context lines.