Hi,
On 2023-01-11 16:06:31 -0800, Peter Geoghegan wrote:
> On Mon, Jan 9, 2023 at 2:18 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> > I'll try to get back to it this week.
>
> Attached patch fixes up these issues. It's almost totally mechanical.
Looks better, thanks!
> (Ended up using "git diff --color-moved=dimmed-zebra
> --color-moved-ws=ignore-all-space" with this, per your recent tip,
> which did help.)
It's a really useful feature. I configured git to always use
--color-moved=dimmed-zebra, but haven't quite dared to enable
--color-moved-ws=ignore-all-space by default.
Greetings,
Andres Freund