Re: compilation-highlight-duration

[Richard Stallman]

    However, creating two similar user options and binding one of them in
    `next-error-no-select' will allow the user to specify preferred
    highlighting methods separately for selected and non-selected
    error visiting.

Does anyone actually want the highlighting after using next-error?
If we don't need that feature, I'd say just move the highlighting
code into next-error-no-select.