Re: Can we make set_point_both less expensive?

[Stefan Monnier]

>>> Couldn't pre-redisplay-hook move `point' off the window?
>> Yes.  Or it could delete the buffer and all my files.
> Hmm... moving `point' off the window could be a side-effect of
> fontifying.

>>> Then redisplay would have to move `point' back to the window.
>> Indeed.
> And would run pre-redisplay-hook again.

That's right.


        Stefan