[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation
From: |
Eli Zaretskii |
Subject: |
Re: Variable-width font indentation |
Date: |
Tue, 06 Mar 2018 19:09:10 +0200 |
> Cc: address@hidden, address@hidden, address@hidden
> From: Dmitry Gutov <address@hidden>
> Date: Tue, 6 Mar 2018 17:15:29 +0200
>
> If the way whitespace at bol is rendered depends on indentation code,
> will the mean that while scrolling a buffer the display engine will have
> to call indentation code?
I very much hope not, as this would be a performance hit.
- Re: What improvements would be truly useful?, (continued)
- Re: What improvements would be truly useful?, Richard Stallman, 2018/03/05
- Re: What improvements would be truly useful?, Phillip Lord, 2018/03/09
- Re: What improvements would be truly useful?, Richard Stallman, 2018/03/09
- Re: What improvements would be truly useful?, Phillip Lord, 2018/03/10
- Re: What improvements would be truly useful?, Richard Stallman, 2018/03/11
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Eli Zaretskii, 2018/03/05
- Re: Variable-width font indentation (was: What improvements would be truly useful?), dancol, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Dmitry Gutov, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation,
Eli Zaretskii <=
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Eli Zaretskii, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Daniel Colascione, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06