Re: Can we make set_point_both less expensive?

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden
> Date: Fri, 20 Mar 2015 17:50:25 -0400
> 
> >> > 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.

I know, but it sounds like you are talking about much broader issues
now than just that contradiction.

In any case, the issue of where the cursor position which will be
shown to user is known still stands.