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

Re: Variable pitch mode line

From: Lars Ingebrigtsen
Subject: Re: Variable pitch mode line
Date: Fri, 24 Dec 2021 15:01:52 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) 
Eli Zaretskii <eliz@gnu.org> writes:

> But for displaying HTML docs that were produced by makeinfo, that's
> not a problem, right?

You mean something special for info-html, sure, that's possible.  But
the manual does use columns:

  https://www.gnu.org/software/emacs/manual/html_mono/elisp.html

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no
reply via email to
[Prev in Thread] Current Thread [Next in Thread]