From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Juri Linkov Newsgroups: gmane.emacs.bugs Subject: bug#33967: [Feature Request] Use proportional fonts in Info-mode Date: Mon, 07 Jan 2019 23:49:54 +0200 Organization: LINKOV.NET Message-ID: <87tvikf9mt.fsf@mail.linkov.net> References: <29a0d099-3af3-446e-9f0f-d5c2aacfcaf9@www.fastmail.com> <83muog3oig.fsf@gnu.org> <87muof56gm.fsf@mail.linkov.net> <835zv21mr5.fsf@gnu.org> <87ef9ps5ed.fsf@mail.linkov.net> <83lg3xyw8n.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1546899813 13271 195.159.176.226 (7 Jan 2019 22:23:33 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 7 Jan 2019 22:23:33 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (x86_64-pc-linux-gnu) Cc: 33967@debbugs.gnu.org, a@ajgrf.com To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Jan 07 23:23:29 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ggdIu-0003MN-V7 for geb-bug-gnu-emacs@m.gmane.org; Mon, 07 Jan 2019 23:23:29 +0100 Original-Received: from localhost ([127.0.0.1]:49377 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ggdL1-0002ON-QF for geb-bug-gnu-emacs@m.gmane.org; Mon, 07 Jan 2019 17:25:39 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:37444) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ggdKS-0001vq-PY for bug-gnu-emacs@gnu.org; Mon, 07 Jan 2019 17:25:05 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ggdKR-0005Dg-U1 for bug-gnu-emacs@gnu.org; Mon, 07 Jan 2019 17:25:04 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:49770) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ggdKR-0005DE-QU for bug-gnu-emacs@gnu.org; Mon, 07 Jan 2019 17:25:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ggdKR-0000ky-M9 for bug-gnu-emacs@gnu.org; Mon, 07 Jan 2019 17:25:03 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Juri Linkov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 07 Jan 2019 22:25:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33967 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 33967-submit@debbugs.gnu.org id=B33967.15468998652813 (code B ref 33967); Mon, 07 Jan 2019 22:25:03 +0000 Original-Received: (at 33967) by debbugs.gnu.org; 7 Jan 2019 22:24:25 +0000 Original-Received: from localhost ([127.0.0.1]:49043 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ggdJo-0000jI-QD for submit@debbugs.gnu.org; Mon, 07 Jan 2019 17:24:25 -0500 Original-Received: from bonobo.maple.relay.mailchannels.net ([23.83.214.22]:45946) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ggdJh-0000j3-Oa for 33967@debbugs.gnu.org; Mon, 07 Jan 2019 17:24:22 -0500 X-Sender-Id: dreamhost|x-authsender|jurta@jurta.org Original-Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 8ADF75C4247; Mon, 7 Jan 2019 22:24:16 +0000 (UTC) Original-Received: from pdx1-sub0-mail-a35.g.dreamhost.com (unknown [100.96.35.77]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 31E9B5C487E; Mon, 7 Jan 2019 22:24:16 +0000 (UTC) X-Sender-Id: dreamhost|x-authsender|jurta@jurta.org Original-Received: from pdx1-sub0-mail-a35.g.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.16.2); Mon, 07 Jan 2019 22:24:16 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|jurta@jurta.org X-MailChannels-Auth-Id: dreamhost X-Troubled-Duck: 3c5e1db60aeda184_1546899856362_514885982 X-MC-Loop-Signature: 1546899856362:189882733 X-MC-Ingress-Time: 1546899856361 Original-Received: from pdx1-sub0-mail-a35.g.dreamhost.com (localhost [127.0.0.1]) by pdx1-sub0-mail-a35.g.dreamhost.com (Postfix) with ESMTP id B71D97F5D7; Mon, 7 Jan 2019 14:24:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=linkov.net; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=linkov.net; bh=Sr38hNvS05GvPPGxTccxAg0/EQ4=; b= yqKrJOgk/pcJq4ygj9JtjuU00+bdG2/Uc0b7Xu0OlFVs/SsPFRBbPNMbO3s0k+vJ lEEtgh2ceCvA+uXdhAtLxo4i+3esyYjhBEgcB2WcwevsIkDB0qk1hTkK7ZPdGmpd qdV3Bhy7fkAwsjrEs5+RHGJ71rZXcFB2aWkPL0UZK7M= Original-Received: from mail.jurta.org (m91-129-109-141.cust.tele2.ee [91.129.109.141]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: jurta@jurta.org) by pdx1-sub0-mail-a35.g.dreamhost.com (Postfix) with ESMTPSA id 901217F5CC; Mon, 7 Jan 2019 14:24:13 -0800 (PST) X-DH-BACKEND: pdx1-sub0-mail-a35 In-Reply-To: <83lg3xyw8n.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 07 Jan 2019 05:36:40 +0200") X-VR-OUT-STATUS: OK X-VR-OUT-SCORE: -100 X-VR-OUT-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedtledrvdejgdduheekucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgdpffftgfetoffjqffuvfenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhephffvufhofhffjgfkfgggtgesthdtredttdertdenucfhrhhomheplfhurhhiucfnihhnkhhovhcuoehjuhhriheslhhinhhkohhvrdhnvghtqeenucfkphepledurdduvdelrddutdelrddugedunecurfgrrhgrmhepmhhouggvpehsmhhtphdphhgvlhhopehmrghilhdrjhhurhhtrgdrohhrghdpihhnvghtpeeluddruddvledruddtledrudeguddprhgvthhurhhnqdhprghthheplfhurhhiucfnihhnkhhovhcuoehjuhhriheslhhinhhkohhvrdhnvghtqedpmhgrihhlfhhrohhmpehjuhhriheslhhinhhkohhvrdhnvghtpdhnrhgtphhtthhopegvlhhiiiesghhnuhdrohhrghenucevlhhushhtvghrufhiiigvpedt X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:154236 Archived-At: >> > The problem is not to render HTML per se, the problem is to support >> > the Info features like index search in HTML, something I don't know >> > what would it take until we see what makeinfo emits. >> >> We can get index entries from the links found in the Index HTML pages >> that makeinfo already emits, i.e. the same way that the Info reader >> already parses .info files, it can parse .html files that should be simpler >> since there is less ambiguity in HTML format. > > I don't think we should invent our own HTML-Info conventions. There's > a person actively working on that for the Texinfo project; when that > job is done, we should support whatever comes out of that. If you > want to be part of that work, please contact the Texinfo developers. Emacs could support the existing HTML-Info convention, i.e. HTML files already emitted by the current version of makeinfo. After modernization of HTML output by Texinfo developers, the Emacs Info reader could also support a new HTML-Info convention. But since supporting both formats would be more work, maybe better to wait for a new convention indeed.