Re: Can we make set_point_both less expensive?

[martin rudalics]

>> 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.

martin