Re: Can we make set_point_both less expensive?

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Fri, 20 Mar 2015 10:14:11 -0400
> Cc: Eli Zaretskii <address@hidden>, address@hidden, address@hidden
> 
> Implement a new `cursor-intangible' property, by having p-r-f move point
> away from text with that property.

The specification should be much more detailed.  E.g., right now the
cursor is set by a backend-specific function after the redisplay cycle
is already done.