[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
From: |
Lars Ingebrigtsen |
Subject: |
Re: Variable pitch mode line |
Date: |
Mon, 27 Dec 2021 11:32:46 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> 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.
Have you profiled shr to confirm that it's the line wrapping that takes
time? In my experience, whenever eww is slow, it's because there's a
<table> in the page.
> So why do you say it won't make any difference?
An info node is so small that it can't possibly make any difference.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Variable pitch mode line, (continued)
- 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, 2021/12/26
- Re: Variable pitch mode line,
Lars Ingebrigtsen <=
- 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
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23