Subject: bug#58516: 28.1; add option/key to rerun current diff without whitespace changes

From: Robert Pluim <[email-masked]>
Date: Mon, 17 Oct 2022 15:01:28 +0200

>>>>> On Mon, 17 Oct 2022 14:33:27 +0200, Lars Ingebrigtsen <[email-masked]> said:

    Lars> Robert Pluim <[email-masked]> writes:
    >> Comments welcome

    Lars> Looks good to me, but:

    >> +(defun diff-ignore-whitespace-hunk (whole-buffer)
    >> +  "Re-diff the current hunk, ignoring whitespace differences.
    >> +With non-nil prefix arg, re-diff all the hunks."
    >> +  (interactive "P")

    Lars> That should be "&optional whole-buffer".

The interaction between `interactive' and &optional is one of those
things that my brain always seems to page out, so I believe you :-)

Robert
--