Re: [PATCH] Allow compilation-next-error-function to leave code line highlighted until next command is typed

[Richard Stallman]

Juri Linkov responded:

    A similar change was discussed recently but was stuck with naming
    of this option: it should be used by packages other than compile
    (grep, diff, occur, ...), but neither `compilation-highlight' nor
    `next-error-highlight' seems right when applied to non-compilation
    buffers.

As long as the command is called `next-error', it is ok to call some
related thing `next-error-highlight'.  Even the name
`compilation-highlight-duration' can't be objected to, given that the
function that would use it is called `compilation-goto-locus'.
We might consider a change in all these names, but that is a separate
issue.  There is no need to hold up this little feature for that.

ISTR that we already discussed some other feature for highlighting
the source code line.  What is actually installed now?