[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62921] [Request] Add another monospaced font to the default fonts
From: |
anonymous |
Subject: |
[bug #62921] [Request] Add another monospaced font to the default fonts |
Date: |
Fri, 19 Aug 2022 12:02:40 -0400 (EDT) |
URL:
<https://savannah.gnu.org/bugs/?62921>
Summary: [Request] Add another monospaced font to the default
fonts
Project: GNU troff
Submitter: None
Submitted: Fri 19 Aug 2022 04:02:39 PM UTC
Category: Font - others/general
Severity: 3 - Normal
Item Group: Feature change
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Planned Release: None
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Fri 19 Aug 2022 04:02:39 PM UTC By: Anonymous
By default groff comes with 6 proportional fonts (Avant Garde, Bookman,
Helvetica, New Century Schoolbook, Palatino, Times New Roman), but only 1
monospaced font: Courier. I like Courier but it would be nice to have another
option. Especially for typesetting code listings, a monospaced font with a
slashed or dotted zero, along with a clearer difference between 1 and l, would
come in handy.
I know there is a mechanism for users to manually add such a font to groff
themselves, but when sharing code it seems like a needless burden to put on
other people.
Possible choices would be DejaVu Sans Mono, Liberation Mono, or Adobe Source
Code Pro, though there are many others. Only the Regular style would be truly
needed; Bold and Italic would be a nice bonus but not really necessary.
Thanks.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62921>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #62921] [Request] Add another monospaced font to the default fonts,
anonymous <=
- [bug #62921] want another monospaced font in the default set, G. Branden Robinson, 2022/08/20
- [bug #62921] want another monospaced font in the default set, G. Branden Robinson, 2022/08/20
- [bug #62921] want another monospaced font in the default set, anonymous, 2022/08/20
- [bug #62921] want another monospaced font in the default set, G. Branden Robinson, 2022/08/20
- [bug #62921] want another monospaced font in the default set, anonymous, 2022/08/20
- [bug #62921] want another monospaced font in the default set, G. Branden Robinson, 2022/08/21
- Re: [bug #62921] want another monospaced font in the default set, joerg van den hoff, 2022/08/21