emacs-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Variable pitch mode line

From: Po Lu
Subject: Re: Variable pitch mode line
Date: Fri, 24 Dec 2021 21:36:12 +0800
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.60 (gnu/linux) 
Lars Ingebrigtsen <larsi@gnus.org> writes:

> We don't have code for that today, but it doesn't seem particularly
> difficult to implement.

It would have to be fast for relatively nested DOM trees in very large
documents, which is a really great feature of the regular Info reader.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]