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

[積丹尼 Dan Jacobson]

>>>>> "LI" == Lars Ingebrigtsen <larsi@gnus.org> writes:
LI> jidanni@jidanni.org writes:

>> Diff mode likes highlighting things.
>> Well, it should extra-highlight important lines that start with
>> "diff:":
>> 
>> diff -U0 /home/jidanni /cf/tojidanni1/source
>> diff: /home/jidanni/source: No such file or directory
>> 
>> Diff finished.  Sun Mar 22 01:42:11 2009
>> 
>> (And it should detect the error, probably already done in your source code.)

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.

And in the modeline something should indicate an error.