Re: Can we make set_point_both less expensive?

[martin rudalics <rudalics@gmx.at>]

 > It could, but AFAIU, this is not the only situation that is being
 > discussed.  Stefan wants redisplay to move point also in the case
 > where some Lisp moved point and entered a region of buffer positions
 > that has a certain text property.  That's not a scrolling scenario you
 > describe.

Stefan will tell us whether he has any additional issues in mind.  Here
I'm only concerned about the scrolling scenario.

 >>   > And cursor is always set where point is, we have no other strategy for
 >>   > positioning the cursor.
 >>
 >> After `scroll-left'?
 >
 > Yes, after scroll-left, too.  We simply put the cursor as close to
 > point as possible.

But not necessarily _where point is_.

 >> Isn't adjust_point_for_property some sort of redisplay revisited?
 >
 > No.  It does nothing that is related to display.

Can't it trigger a new redisplay?

 >> They would determine the position of the cursor when an intangible area
 >> starts or ends within them.
 >
 > Sorry, too much "they" in this sentence, I don't really understand
 > what you are sayin, or how it is relevant to the issue at hand.

Consider the following scenario:

(1) Using the scrollbar thumb, the user scrolls window text thus
     implicitly establishing a new window start position WS.

(2) Respecting WS, redisplay puts window point at some position WP.

(3) A function on `pre-redisplay-function' decides that WP would end up
     within intangible text and moves WP to a position WT.

(4) Redisplay notices that WT would end up in the scroll margin and
     scrolls the window invalidating WS.  As a result windw text would
     not scroll as intended by the user in (1).

But if redisplay were aware of intangible text, it would handle both -
the intangible property and the scroll margin - in (2) and there would
be no need to enter the (3)-(4) rigmarole.

Note that (3) means we have to search all text/overlay properties of
every window that gets redisplayed for the sole purpose of detecting the
presence of intangible text.  In my estimate 99.99% of our windows don't
contain such text.

martin