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@xxxxxxxxx> a écrit : > > > > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > > > 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.
