[bug #62921] want another monospaced font in the default set

2024-02-02 Thread Dave
Follow-up Comment #9, bug#62921 (group groff): [comment #8 comment #8:] > Thanks (to whoever that anonymous submitter was ;-) )! You've probably deduced this, but the reason I sometimes file groff bugs "anonymously" is not to evade credit/blame, but so that I'm not forever tied to a bug I have no

[bug #62921] want another monospaced font in the default set

2024-02-02 Thread G. Branden Robinson
Follow-up Comment #8, bug#62921 (group groff): [comment #7 comment #7:] > [comment #1 comment #1:] > > groff's _ms_ and _me_ have support for bold-italic already (and have > > for decades), and it wouldn't be hard to add it to our _mm_ either; > > This has been filed as bug #65241. Thanks (to wh

[bug #62921] want another monospaced font in the default set

2024-02-02 Thread Dave
Follow-up Comment #7, bug#62921 (group groff): [comment #1 comment #1:] > groff's _ms_ and _me_ have support for bold-italic already (and have > for decades), and it wouldn't be hard to add it to our _mm_ either; This has been filed as bug #65241. [comment #5 comment #5:] > Ideally, distributors

[bug #62921] want another monospaced font in the default set

2024-02-02 Thread Dave
Update of bug#62921 (group groff): Status: Need Info => None ___ Follow-up Comment #6: This bug was put into Need Info status with comment #1, which asked for feedback that the submitter s

Re: [bug #62921] want another monospaced font in the default set

2022-08-21 Thread joerg van den hoff
On 21.08.22 06:46, G. Branden Robinson wrote: Follow-up Comment #5, bug #62921 (project groff): [comment #4 comment #4:] hi branden (and "person X" ;)), chiming in again if I may. Hi, original submitter here. Yes, your solution would be fine, but I'm a bit confused. For groff 1.22.4 i

[bug #62921] want another monospaced font in the default set

2022-08-20 Thread G. Branden Robinson
Follow-up Comment #5, bug #62921 (project groff): [comment #4 comment #4:] > Hi, original submitter here. Yes, your solution would be fine, but I'm a bit confused. For groff 1.22.4 in Fedora 36 I noticed there are 3 *.pfa_ files in /usr/share/groff/1.22.4/font/devps/: freeeuro.pfa_, symbolsl.pfa_

[bug #62921] want another monospaced font in the default set

2022-08-20 Thread anonymous
Follow-up Comment #4, bug #62921 (project groff): [comment #1 comment #1:] > The main practical problem here is that while we could certainly generate _groff_ font descriptions file for some or all of those, and ship them, users _still_ won't get those fonts in the output they generate unless the

[bug #62921] want another monospaced font in the default set

2022-08-20 Thread G. Branden Robinson
Follow-up Comment #3, bug #62921 (project groff): Hi Joerg, [comment #2 comment #2:] > I concur that this (an nice monospaced font) would be desirable. > > begin-off-topic: PTMono is a _very_ nice free monspaced font. extremely readable on screen. use it as my standard font in the terminal. PTSe

[bug #62921] want another monospaced font in the default set

2022-08-20 Thread anonymous
Follow-up Comment #2, bug #62921 (project groff): I concur that this (an nice monospaced font) would be desirable. begin-off-topic: PTMono is a _very_ nice free monspaced font. extremely readable on screen. use it as my standard font in the terminal. PTSerif and PTsans are also very decent (and I

[bug #62921] want another monospaced font in the default set

2022-08-20 Thread G. Branden Robinson
Update of bug #62921 (project groff): Status:None => Need Info ___ Follow-up Comment #1: [comment #0 original submission:] > By default groff comes with 6 proportional fonts (Avant Garde,

[bug #62921] want another monospaced font in the default set

2022-08-20 Thread G. Branden Robinson
Update of bug #62921 (project groff): Severity: 3 - Normal => 1 - Wish Summary: [Request] Add another monospaced font to the default fonts => want another monospaced font in the default set _