From: Yuan Fu <casouri@gmail.com>
To: Tomas Hlavaty <tom@logand.com>
Cc: Lars Ingebrigtsen <larsi@gnus.org>, Tassilo Horn <tsdh@gnu.org>,
emacs-devel@gnu.org, Juri Linkov <juri@linkov.net>
Subject: Re: Variable pitch mode line
Date: Thu, 23 Dec 2021 12:51:10 -0800 [thread overview]
Message-ID: <8B7890FE-9DFB-4282-8391-955032220234@gmail.com> (raw)
In-Reply-To: <87zgorawar.fsf@logand.com>
> On Dec 23, 2021, at 12:41 PM, Tomas Hlavaty <tom@logand.com> wrote:
>
>>
>> The only way to reliably support variable pitch in the Info reader
>> is by using HTML output from Texinfo and rendering it with eww/shr.
>>
>> But the problem is that most GNU/Linux distributions still don't include
>> Info manuals in the HTML format alongside with the Info format.
>> Thus we are stuck with monospaced Info manuals forever.
> iirc info files are not that complex. How difficult would it be to
> transform an info file to html in Lisp and display it with eww/shr on
> the fly? In my emacs-unoffice package, I explored this for various
> office formats and it seems like a reasonably useable solution.
>
I’ve tried that. Info files are not complex, but they can’t be reliably parsed 100% of the time. My code works for like 95% of the nodes, but there are always some corner cases where it breaks. I think TRT is to use html files.
Yuan
next prev parent reply other threads:[~2021-12-23 20:51 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
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 [this message]
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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8B7890FE-9DFB-4282-8391-955032220234@gmail.com \
--to=casouri@gmail.com \
--cc=emacs-devel@gnu.org \
--cc=juri@linkov.net \
--cc=larsi@gnus.org \
--cc=tom@logand.com \
--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 external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.