From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Tomas Hlavaty Newsgroups: gmane.emacs.devel Subject: Re: Variable pitch mode line Date: Thu, 23 Dec 2021 21:41:32 +0100 Message-ID: <87zgorawar.fsf@logand.com> References: <87zgosdbo1.fsf@gnus.org> <86mtkszhnq.fsf@mail.linkov.net> <87o858e5r2.fsf@gnu.org> <86fsqjcqd8.fsf@mail.linkov.net> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7051"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Lars Ingebrigtsen , emacs-devel@gnu.org To: Juri Linkov , Tassilo Horn Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Dec 23 21:42:21 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1n0Uur-0001gB-FH for ged-emacs-devel@m.gmane-mx.org; Thu, 23 Dec 2021 21:42:21 +0100 Original-Received: from localhost ([::1]:44966 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n0Uuo-0007Og-Vi for ged-emacs-devel@m.gmane-mx.org; Thu, 23 Dec 2021 15:42:18 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:60254) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0UuG-0006fF-Sn for emacs-devel@gnu.org; Thu, 23 Dec 2021 15:41:44 -0500 Original-Received: from logand.com ([37.48.87.44]:46920) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0UuF-0000g3-9S; Thu, 23 Dec 2021 15:41:44 -0500 Original-Received: by logand.com (Postfix, from userid 1001) id 0E2DC19EC74; Thu, 23 Dec 2021 21:41:34 +0100 (CET) X-Mailer: emacs 27.2 (via feedmail 11-beta-1 I) In-Reply-To: <86fsqjcqd8.fsf@mail.linkov.net> Received-SPF: pass client-ip=37.48.87.44; envelope-from=tom@logand.com; helo=logand.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:283039 Archived-At: > > 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.