Re: Can we make set_point_both less expensive?

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden,  address@hidden
> Date: Mon, 16 Mar 2015 08:47:47 -0400
> 
> what users of those features normally want is to catch movement of
> the cursor

You mean, we should do this in redisplay?  Wouldn't that be a radical
change in semantics?  In particular, if redisplay doesn't run, neither
will the hooks.