Re: compilation-forget-errors still used by tex-mode.el

[Stefan Monnier]

> The overlay-arrow variables are global (although some modes use them
> as buffer-local, but redisplay isn't really prepared for that).

If the redisplay only ever supports one arrow per buffer, then it would
make more sense to use a single hard-coded variable and make sure that
buffer-local values are handled correctly.

It seems that the current interface is overly general w.r.t
the implementation.


        Stefan