Re: Can we make set_point_both less expensive?

[Stefan Monnier]

>> what users of those features normally want is to catch movement of
>> the cursor
> You mean, we should do this in redisplay?

Probably in pre-redisplay-hook or in pre/post-command-hook, yes.

> Wouldn't that be a radical change in semantics?

Yes.  Which is why we have to phase out the old properties and introduce
new ones instead.  E.g. `cursor-enter' and `cursor-leave'.


        Stefan