[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Can we make set_point_both less expensive?
From: |
Stefan Monnier |
Subject: |
Re: Can we make set_point_both less expensive? |
Date: |
Fri, 20 Mar 2015 17:50:25 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
>> > Redisplay never moves point, except when it was forced to keep a
>> > specific window-start position.
>> This is the case under discussion.
> That's not my understanding.
I know, but I assure you that it is. It started with your comment:
That contradicts the "catch movement of cursor" idea: redisplay could
well move point from where it is found before redisplay, as you know.
-- Stefan
- Re: Can we make set_point_both less expensive?, (continued)
- 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, 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?, 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 <=
- 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
- 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/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