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

[Juri Linkov]

Richard Stallman <address@hidden> writes:
> As long as the command name on C-x ` is next-error, we may as well
> call the option next-error-highlight.  If we change that binding
> before the release, we can rename the option at the same time.
>
> So please install this, as soon as you've written the changes for
> etc/NEWS and the Emacs Manual.

Mentioning the changes in etc/NEWS is ok, but I can't find a place in
the Emacs Manual where new options `next-error-highlight' and
`next-error-highlight-no-select' should be documented.

I recall that documentation rules disapprove adding every option
to the manual to not make it too big.  And it seems these options are
not too significant for using `next-error' to justify their additions
to the manual.

-- 
Juri Linkov
http://www.jurta.org/emacs/