bug#2739: diff-mode should highlight "diff:" messages

[Lars Ingebrigtsen <larsi@gnus.org>]

積丹尼 Dan Jacobson <jidanni@jidanni.org> writes:

> LI> Do you have a test case to reproduce this bug?
>
>   lrwxrwxrwx   1 jidanni         4 08-21 21:31 pppp -> zzzz
>   lrwxrwxrwx   1 jidanni         4 08-21 21:30 yyyyy -> ssss
>
> = runs the command dired-diff (found in dired-mode-map)
>
> diff -U0 /home/jidanni/pppp /home/jidanni/yyyyy
> diff: /home/jidanni/pppp: No such file or directory
> diff: /home/jidanni/yyyyy: No such file or directory
>
> Diff finished (diff error).  Fri Aug 21 21:31:28 2020
>
> So the errors should be in red.

Thanks.  The base function called here is apparently:

(diff "/tmp/unexist1" "/tmp/unexist2" "-u")

Which displays the problem.  It looks like diff picks up on it being an
error, but doesn't do any fontizing in this case.  Which I guess should
be set up from 'diff-sentinel'.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no