[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
From: |
Yuan Fu |
Subject: |
Re: Variable pitch mode line |
Date: |
Thu, 23 Dec 2021 12:51:10 -0800 |
> 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
- Re: Variable pitch mode line, (continued)
- 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
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line,
Yuan Fu <=
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- RE: [External] : Re: Variable pitch mode line, Drew Adams, 2021/12/23
- Re: [External] : Re: Variable pitch mode line, Yuan Fu, 2021/12/23