Re: Can we make set_point_both less expensive?

[martin rudalics]

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

Now it's my turn to not understand what you're saying ;-)

martin