From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 15 Nov 2020 23:57:44 GMT
Subject: Re: [PATCH v2 10/11] add -p: prefer color.diff.context over color.diff.plain
Message-ID: <nycvar.QRO.7.76.6.2011160056450.18437@tvgsbejvaqbjf.bet>
In-Reply-To: <4A02D618-34EB-4B20-A102-99B3CDAFD0BB@gmail.com>

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:

> > Le 11 nov. 2020 à 07:28, Johannes Schindelin via GitGitGadget <gitgitgadget@gmail.com> a écrit :
> >
> > From: Johannes Schindelin <johannes.schindelin@gmx.de>
> >
> > This still needs
>
> s/needs/leads/

Of course!

Thanks,
Dscho

> > 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.