From: Lars Ingebrigtsen <larsi@gnus.org>
To: Eli Zaretskii <eliz@gnu.org>
Cc: tsdh@gnu.org, emacs-devel@gnu.org, monnier@iro.umontreal.ca,
Juri Linkov <juri@linkov.net>
Subject: Re: Variable pitch mode line
Date: Fri, 24 Dec 2021 13:27:28 +0100 [thread overview]
Message-ID: <87bl162nnz.fsf@gnus.org> (raw)
In-Reply-To: <83r1a2rzyu.fsf@gnu.org> (Eli Zaretskii's message of "Fri, 24 Dec 2021 13:42:33 +0200")
Eli Zaretskii <eliz@gnu.org> writes:
>> Then after visiting the generated HTML with eww, when proportional fonts
>> are enabled with `eww-toggle-fonts`, the output looks nice.
>> But rendering a large HTML file takes too much time. So while
>> a single HTML file is still preferable over multifile Info manuals,
>> the Info reader should limit rendering to the currently displayed
>> Info node only.
>
> Which probably means we should produce a separate file per node or
> chapter.
Not necessarily -- the HTML-ified info mode doesn't have to parse (and
render) the entire HTML file. (There would have to be enough semantic
information in the HTML file to allow it to identify a node, which
shouldn't be a problem.)
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
next prev parent reply other threads:[~2021-12-24 12:27 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-22 13:14 Variable pitch mode line Lars Ingebrigtsen
2021-12-22 14:01 ` Eli Zaretskii
2021-12-22 15:21 ` Stefan Kangas
2021-12-22 17:34 ` Juri Linkov
2021-12-22 20:14 ` Tassilo Horn
2021-12-22 20:42 ` Lars Ingebrigtsen
2021-12-22 20:49 ` Tassilo Horn
2021-12-23 17:16 ` Juri Linkov
2021-12-23 17:52 ` Stefan Kangas
2021-12-23 18:26 ` Eli Zaretskii
2021-12-23 18:38 ` Juri Linkov
2021-12-23 19:20 ` Eli Zaretskii
2021-12-23 19:39 ` Juri Linkov
2021-12-23 19:48 ` Eli Zaretskii
2021-12-23 19:55 ` Juri Linkov
2021-12-23 18:27 ` Lars Ingebrigtsen
2021-12-23 18:35 ` Juri Linkov
2021-12-23 18:47 ` Lars Ingebrigtsen
2021-12-23 19:00 ` Juri Linkov
2021-12-23 19:50 ` Stefan Monnier
2021-12-23 19:56 ` Eli Zaretskii
2021-12-23 20:12 ` Stefan Monnier
2021-12-23 20:17 ` Eli Zaretskii
2021-12-23 20:48 ` HTML info Yuan Fu
2021-12-24 8:34 ` Juri Linkov
2021-12-24 8:48 ` Eli Zaretskii
2021-12-24 9:02 ` Lars Ingebrigtsen
2021-12-24 9:38 ` Po Lu
2021-12-24 19:16 ` [External] : " Drew Adams
2021-12-25 18:01 ` Juri Linkov
2021-12-26 9:50 ` Yuan Fu
2021-12-26 10:20 ` Eli Zaretskii
2021-12-26 17:30 ` Juri Linkov
2021-12-27 18:32 ` Juri Linkov
2021-12-26 11:48 ` Lars Ingebrigtsen
2021-12-26 11:53 ` Eli Zaretskii
2021-12-26 11:57 ` Lars Ingebrigtsen
2021-12-26 12:07 ` Eli Zaretskii
2021-12-24 8:21 ` Variable pitch mode line Juri Linkov
2021-12-24 11:42 ` Eli Zaretskii
2021-12-24 12:08 ` Eli Zaretskii
2021-12-24 12:27 ` Lars Ingebrigtsen [this message]
2021-12-24 12:32 ` Po Lu
2021-12-24 12:53 ` Lars Ingebrigtsen
2021-12-24 13:12 ` Po Lu
2021-12-24 13:34 ` Lars Ingebrigtsen
2021-12-24 13:36 ` Po Lu
2021-12-24 13:45 ` Eli Zaretskii
2021-12-24 13:48 ` Lars Ingebrigtsen
2021-12-24 13:57 ` Eli Zaretskii
2021-12-24 14:01 ` Lars Ingebrigtsen
2021-12-24 14:33 ` Eli Zaretskii
2021-12-24 15:05 ` Lars Ingebrigtsen
2021-12-24 15:16 ` Eli Zaretskii
2021-12-24 15:43 ` Lars Ingebrigtsen
2021-12-24 15:44 ` Lars Ingebrigtsen
2021-12-24 17:03 ` Eli Zaretskii
2021-12-25 11:59 ` Lars Ingebrigtsen
2021-12-25 12:07 ` Eli Zaretskii
2021-12-26 11:28 ` Lars Ingebrigtsen
2021-12-26 11:43 ` Eli Zaretskii
2021-12-26 11:51 ` Lars Ingebrigtsen
2021-12-26 11:56 ` Eli Zaretskii
2021-12-26 12:02 ` Lars Ingebrigtsen
2021-12-26 12:11 ` Eli Zaretskii
2021-12-26 12:25 ` Lars Ingebrigtsen
2021-12-26 12:59 ` Eli Zaretskii
2021-12-27 10:32 ` Lars Ingebrigtsen
2021-12-27 14:52 ` Eli Zaretskii
2021-12-26 15:32 ` Stefan Monnier
2021-12-25 17:54 ` Juri Linkov
2021-12-26 1:27 ` Po Lu
2021-12-26 7:39 ` Juri Linkov
2021-12-26 8:46 ` Eli Zaretskii
2021-12-23 19:27 ` Tassilo Horn
2021-12-23 19:39 ` Eli Zaretskii
2021-12-23 19:48 ` Tassilo Horn
2021-12-23 20:02 ` Eli Zaretskii
2021-12-23 20:13 ` Eli Zaretskii
2021-12-23 19:45 ` Juri Linkov
2021-12-23 20:41 ` Tomas Hlavaty
2021-12-23 20:51 ` Yuan Fu
2021-12-23 20:56 ` Tomas Hlavaty
2021-12-23 21:00 ` Yuan Fu
2021-12-23 21:24 ` Tomas Hlavaty
2021-12-23 21:41 ` Yuan Fu
2021-12-23 23:00 ` Tomas Hlavaty
2021-12-23 23:28 ` Yuan Fu
2021-12-24 7:14 ` Tomas Hlavaty
2021-12-24 7:05 ` Eli Zaretskii
2021-12-24 0:50 ` [External] : " Drew Adams
2021-12-24 3:58 ` Yuan Fu
2021-12-24 5:00 ` Drew Adams
2021-12-24 6:53 ` Eli Zaretskii
2021-12-24 6:50 ` Eli Zaretskii
2021-12-24 7:55 ` Tomas Hlavaty
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87bl162nnz.fsf@gnus.org \
--to=larsi@gnus.org \
--cc=eliz@gnu.org \
--cc=emacs-devel@gnu.org \
--cc=juri@linkov.net \
--cc=monnier@iro.umontreal.ca \
--cc=tsdh@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).