Re: Can we make set_point_both less expensive?

[Stefan Monnier]

>> Indeed, that's a bug that we need to fix: after moving point,
>> redisplay should re-run pre-redisplay-hook; same thing
>> after scrolling.
> Couldn't pre-redisplay-hook move `point' off the window?

Yes.  Or it could delete the buffer and all my files.

> Then redisplay would have to move `point' back to the window.

Indeed.


        Stefan