Hi, On 2023-01-11 16:06:31 -0800, Peter Geoghegan wrote: > On Mon, Jan 9, 2023 at 2:18 PM Peter Geoghegan <p...@bowt.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