Re: next-error-last-buffer

[Stefan Monnier]

> If you switch to another source buffer that was last reached
> through C-x ` from a compilation error, then C-x ` will get the
> next compilation error, rather than the next occurrence.
> At least, it sounds like your change would have that result.

Indeed.  In order to get the right behavior in all cases, we'd need
to read the user's mind.  So the current approach at least has the
advantage of being simple for the user to understand (and thus predict),
while working correctly for the most common cases.

We might want to make the interface more complex/powerful so the user can
explain more of what he wants, but I think the default
(i.e. which compilation buffer to choose, in the absence of any hint from
the user) should basically stay as it is.


        Stefan