Re: compilation-highlight-duration

[Richard Stallman]

    > But currently it's not possible to highlight the source buffer
    > only in `next-error-no-select'.  Perhaps a new argument should be
    > added to `next-error' and `compilation-next-error-function' indicating
    > whether highlighting is desirable and in what fashion (overlay flashing
    > delay duration, fringe arrow, etc.)

I think we should make next-error and next-error-no-select use a common
subroutine.  Then next-error-no-select would do this highlighting.
next-error would not do the highlighting.