[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
From: |
Eli Zaretskii |
Subject: |
Re: Variable pitch mode line |
Date: |
Sun, 26 Dec 2021 14:59:48 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: luangruo@yahoo.com, tsdh@gnu.org, emacs-devel@gnu.org,
> monnier@iro.umontreal.ca, juri@linkov.net
> Date: Sun, 26 Dec 2021 13:25:22 +0100
>
> I'm still not sure what problem you're trying to fix with this line of
> inquiry. 😀 Having shr do the line breaking or leaving it to the
> display engine won't make any difference, performance wise, for the
> HTML-based info mode.
Really? At least when I read email, HTML formatted messages take a
significant time to display, sometimes several seconds (with quite a
few GC cycles while at that). Redisplay with word-wrap will take much
less, and will not trigger any GC.
So why do you say it won't make any difference?
- Re: Variable pitch mode line, (continued)
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/25
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/25
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/26
- Re: Variable pitch mode line,
Eli Zaretskii <=
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/27
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/27
- Re: Variable pitch mode line, Stefan Monnier, 2021/12/26
- Re: Variable pitch mode line, Juri Linkov, 2021/12/25
- Re: Variable pitch mode line, Po Lu, 2021/12/25
- Re: Variable pitch mode line, Juri Linkov, 2021/12/26
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Tassilo Horn, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Tassilo Horn, 2021/12/23