Re: [PATCH v2 10/11] add -p: prefer color.diff.context over color.diff.plain
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Nov 15, 2020, 23:57 UTC
- 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:
Show 7 quoted lines
> > 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.