[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: compilation-highlight-duration

From: Richard Stallman
Subject: Re: compilation-highlight-duration
Date: Sun, 09 May 2004 14:48:06 -0400

    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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]