From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: "Alex Griffin" Newsgroups: gmane.emacs.bugs Subject: bug#33967: [Feature Request] Use proportional fonts in Info-mode Date: Thu, 03 Jan 2019 16:41:55 -0500 Message-ID: <30093ea1-76f5-4c6f-a64a-4ded0a0e3f6e@www.fastmail.com> References: <20190103212321.29223.qmail@mail.muc.de> NNTP-Posting-Host: blaine.gmane.org Content-Type: text/plain X-Trace: blaine.gmane.org 1546551770 32422 195.159.176.226 (3 Jan 2019 21:42:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 3 Jan 2019 21:42:50 +0000 (UTC) User-Agent: Cyrus-JMAP/3.1.5-739-g7452a1e-fmstable-20190103v1 Cc: 33967@debbugs.gnu.org To: "Alan Mackenzie" Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Jan 03 22:42:45 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfAlH-0008I5-Oj for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 Jan 2019 22:42:44 +0100 Original-Received: from localhost ([127.0.0.1]:58277 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfAnO-0003VJ-FW for geb-bug-gnu-emacs@m.gmane.org; Thu, 03 Jan 2019 16:44:54 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:60921) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfAlh-0001rS-W4 for bug-gnu-emacs@gnu.org; Thu, 03 Jan 2019 16:43:12 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfAld-0001Rh-HI for bug-gnu-emacs@gnu.org; Thu, 03 Jan 2019 16:43:09 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:50419) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfAlZ-0001QH-VF for bug-gnu-emacs@gnu.org; Thu, 03 Jan 2019 16:43:04 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfAlZ-00017y-SP for bug-gnu-emacs@gnu.org; Thu, 03 Jan 2019 16:43:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: "Alex Griffin" Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 03 Jan 2019 21:43:01 +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.15465517334271 (code B ref 33967); Thu, 03 Jan 2019 21:43:01 +0000 Original-Received: (at 33967) by debbugs.gnu.org; 3 Jan 2019 21:42:13 +0000 Original-Received: from localhost ([127.0.0.1]:46032 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfAkm-00016p-TI for submit@debbugs.gnu.org; Thu, 03 Jan 2019 16:42:13 -0500 Original-Received: from wout1-smtp.messagingengine.com ([64.147.123.24]:51103) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfAkk-00016Z-Ey for 33967@debbugs.gnu.org; Thu, 03 Jan 2019 16:42:11 -0500 Original-Received: from compute6.internal (compute6.nyi.internal [10.202.2.46]) by mailout.west.internal (Postfix) with ESMTP id 61BB41321; Thu, 3 Jan 2019 16:42:04 -0500 (EST) Original-Received: from imap1 ([10.202.2.51]) by compute6.internal (MEProxy); Thu, 03 Jan 2019 16:42:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ajgrf.com; h= message-id:in-reply-to:references:date:from:to:cc:subject :content-type; s=fm1; bh=dr6mJnqh4i9wHx4MRHBqxSqzD5wQ60MqirXU8sE Qbh4=; b=cd7DUlmq3dwVjQDcY+PLTflkriOuFBKHqB4jghMWFMvseqO6Cvj6q6T zSg9ov9g6H7Dzrc0FNjRT/oL/EcP1f40mdUoy/8Cf0QutzWBF+bh0tZ9FnndN/Ma 6ubOOqEAJrcD5KhNJWiPNyTz/gKhfLL1wJQb8MZfj1y4JPPM8SnPd7bx/gN3EqrY GOl+buqJ7EVmMSvQcixNBSdOqIjyTHr0gfk4BZVUE22hIubDmKQjHnREF9YAaPBU aMLnUFrwHsYa6+JFFXzE+lUdpR4vH+dwix7EJnyT9efWpmBM0lAoNtmREbnl2LCI D6NHaGfBY81jEbCkOV9X1kp3nb/FEBA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:references:subject:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm1; bh=dr6mJnqh4i9wHx4MR HBqxSqzD5wQ60MqirXU8sEQbh4=; b=RutSrrU/mkbmuzWJxsuuMeDgrqdUgfmoo L95nd7WoVOhdhIrMxvTpwjfOx6qbgXtTSzIlkBkZFjnQv7rPfEShCHLBLrx3IIJR 0Dhv033oK52ewRxOlZ6v898Mnj2ujuDt3V31uA/Hd8lkE4P04XUEif31nYHKTQ7H q2Y9zs7CEaQxXx7oqqN2ihMrypTwHUm68Fmqf5yBz9WACPZJXFeKYrwQl3bKrQHJ f/6/vZ0lNjDzEBhvjROOTl76992/mgJAkagx9cllUI52cRMkjGKPO0q0z/MLJ9dt r1zpkndu7vcqjLB5yj0Yml4U7F6izYY1M1NaEVj9u/tC3TxAoiTMw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedtledrudelgdelgeculddtuddrgedtkedrtddtmd cutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfhuthen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgfkjghffffhvffutgesthdtre dtreertdenucfhrhhomhepfdetlhgvgicuifhrihhffhhinhdfuceorgesrghjghhrfhdr tghomheqnecurfgrrhgrmhepmhgrihhlfhhrohhmpegrsegrjhhgrhhfrdgtohhmnecuve hluhhsthgvrhfuihiivgeptd X-ME-Proxy: Original-Received: by mailuser.nyi.internal (Postfix, from userid 501) id 4707ED44EA; Thu, 3 Jan 2019 16:42:03 -0500 (EST) X-Mailer: MessagingEngine.com Webmail Interface X-Me-Personality: 27775493 In-Reply-To: <20190103212321.29223.qmail@mail.muc.de> 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: 208.118.235.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:154112 Archived-At: On Thu, Jan 3, 2019, at 9:23 PM, Alan Mackenzie wrote: > I'm happy to do without such "improvements", taking advantage of the high > readability of my terminal's fixed width font. I take it you really mean > "have the option of using proportional fonts". I've nothing against > that. Just having the option would be a nice improvement, there's no need to agree on the relative readability of each. Using more varied faces would also make it possible for you to style more elements of info manuals even in the terminal. > I'm wholly unconvinced that making Info "better match" HTML is at all > worthwhile. Where's the advantage in such a match, even supposing it is > possible? I guess I don't care whether they match or not. I was just calling attention to the fact that texinfo already knows what needs to be formatted in fixed-width. (In contrast, most man pages don't track the semantic information that's necessary to render them in anything but fixed-width.) -- Alex Griffin