Re: Can we make set_point_both less expensive?

[Stefan Monnier]

>> > Redisplay never moves point, except when it was forced to keep a
>> > specific window-start position.
>> This is the case under discussion.
> That's not my understanding.

I know, but I assure you that it is.  It started with your comment:

   That contradicts the "catch movement of cursor" idea: redisplay could
   well move point from where it is found before redisplay, as you know.


-- Stefan