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

[Lars Ingebrigtsen]

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.)

Do you have a test case to reproduce this bug?

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