GNU bug report logs - #33967
[Feature Request] Use proportional fonts in Info-mode

Previous Next

Full log

View this message in rfc822 format

From: "Alex Griffin" <a <at> ajgrf.com>
To: "Alan Mackenzie" <acm <at> muc.de>
Cc: 33967 <at> debbugs.gnu.org
Subject: bug#33967: [Feature Request] Use proportional fonts in Info-mode
Date: Thu, 03 Jan 2019 16:41:55 -0500

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.