[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Can we make set_point_both less expensive?
From: |
Lennart Borgman |
Subject: |
Re: Can we make set_point_both less expensive? |
Date: |
Fri, 20 Mar 2015 15:20:44 +0100 |
On Fri, Mar 20, 2015 at 3:14 PM, Stefan Monnier
<address@hidden> wrote:
>
> For me, a bad interaction is one where p-r-f followed by redisplay
> followed by p-r-f followed by redisplay doesn't give the right answer.
>
> But with something like `cursor-intangible', there will surely be cases
> where that can happen. E.g. imagine you scroll to a part of the buffer
> that's got a cursor-intangible element: redisplay will move point to
> a visible (and intangible) part of the buffer, then run p-r-f which
> moves point outside of the window, after which redisplay has two
> choices: either it decides to scroll to where point is (which would be
> wrong, since we've just scrolled so we should move point rather than
> scroll), or it moves point back into the intangible element.
Unless the functions in the hooks continues to change the display this
can't loop, or can it?
- Re: Can we make set_point_both less expensive?, (continued)
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/17
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/17
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/18
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/18
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/18
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/18
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/19
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/19
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/20
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/20
- Re: Can we make set_point_both less expensive?,
Lennart Borgman <=
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/20
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/20
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/20
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/20
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/20
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/20
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/21
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/21
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/21
- Re: Can we make set_point_both less expensive?, martin rudalics, 2015/03/21