Re: Can we make set_point_both less expensive?

[Stefan Monnier]

>> > So do you still claim that pre-redisplay-function is only run "before
>> > redisplay", where "we can be sure the value of point is the one that
>> > will be shown to the user"?
>> Yes.
> I don't see how you can say that, when you just said it will be run
> elsewhere.

AFAIK this "elsewhere" is still "before redisplay".

>> > or maybe there's a better place?
>> Like where?
> Where we set the cursor, of course.

What if it moves point outside the window?


        Stefan