RE: next-error-highlight = t - highlighting doesn't stay until youmoveto the next locus

[Drew Adams]

> Actually, `compilation-goto-locus' is the only place that does
> anything with `next-error-highlight'.  So this is a simple mismatch
> between the code in `compilation-goto-locus' and the doc string of
> `next-error-highlight'.

Yes.

> The current behavior could be desirable, and so could the documented
> behavior for `next-error-highlight' = t.  So how about implementing
> the behavior of "until next time" as another option, and assigning two
> values for `next-error-highlight' to stand for the two?

Just as long as I can choose some value to make it do what the doc string
says, I'll be happy. Thanks.

[However, I cannot imagine anyone preferring the current behavior (for a
value of t). Click the mouse or move the cursor and the highlighting
disappears? How could that be desirable?]