[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Can we make set_point_both less expensive?
From: |
martin rudalics |
Subject: |
Re: Can we make set_point_both less expensive? |
Date: |
Tue, 17 Mar 2015 11:25:08 +0100 |
> Indeed, that's a bug that we need to fix: after moving point, redisplay should
> re-run pre-redisplay-hook; same thing after scrolling.
Couldn't pre-redisplay-hook move `point' off the window? Then redisplay
would have to move `point' back to the window.
martin
- Re: Can we make set_point_both less expensive?, (continued)
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/16
- Re: Can we make set_point_both less expensive?, Daniel Colascione, 2015/03/16
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/16
- Re: Can we make set_point_both less expensive?, Daniel Colascione, 2015/03/16
- Re: Can we make set_point_both less expensive?, Lennart Borgman, 2015/03/16
- Re: Can we make set_point_both less expensive?, Daniel Colascione, 2015/03/16
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/16
- Re: Can we make set_point_both less expensive?, Eli Zaretskii, 2015/03/17
- RE: Can we make set_point_both less expensive?, Drew Adams, 2015/03/17
- Re: Can we make set_point_both less expensive?, Stefan Monnier, 2015/03/16
- Re: Can we make set_point_both less expensive?,
martin rudalics <=
- 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/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