[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: show-enclosing-scopes
From: |
Eli Zaretskii |
Subject: |
Re: show-enclosing-scopes |
Date: |
Fri, 18 May 2018 12:02:00 +0300 |
> From: Jefferson Carpenter <address@hidden>
> Date: Fri, 18 May 2018 06:02:48 +0000
>
> On 5/18/2018 2:22 AM, Stefan Monnier wrote:
> > Better use (let ((recenter-redisplay nil)) (recenter)) to avoid this
> > flicker.
>
> Did it, still flickering.
Here, it flickers only in the scroll-bar area, and that is expected,
since you delete the scopes window and then recreate it -- this has to
redraw the scroll bar, and will necessarily flicker.
Where does it flicker on your system? And what OS is that, with what
toolkit?
Btw, you have a bug in show-enclosing-scope--split-window: it doesn't
call set-window-buffer on the "base window", so the fringe, and
probably also the right margin (if it has to be non-empty) are not
redrawn when the window is split.
- Re: show-enclosing-scopes, (continued)
- Re: show-enclosing-scopes, Stefan Monnier, 2018/05/17
- Re: show-enclosing-scopes, Jefferson Carpenter, 2018/05/18
- Re: show-enclosing-scopes, Jefferson Carpenter, 2018/05/18
- Re: show-enclosing-scopes, Jefferson Carpenter, 2018/05/18
- Re: show-enclosing-scopes, Eli Zaretskii, 2018/05/18
- Re: show-enclosing-scopes, Eli Zaretskii, 2018/05/18
- Re: show-enclosing-scopes, Jefferson Carpenter, 2018/05/19
- Re: show-enclosing-scopes, Eli Zaretskii, 2018/05/19
- Re: show-enclosing-scopes, Jefferson Carpenter, 2018/05/20
- Re: show-enclosing-scopes, Jefferson Carpenter, 2018/05/25
- Re: show-enclosing-scopes,
Eli Zaretskii <=