emacs-devel
[Top][All Lists]
Advanced

[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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]