[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Can we make set_point_both less expensive?

From: Eli Zaretskii
Subject: Re: Can we make set_point_both less expensive?
Date: Sat, 21 Mar 2015 09:32:45 +0200

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]