[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62941] [troff] no warning when font family nonexistent
From: |
G. Branden Robinson |
Subject: |
[bug #62941] [troff] no warning when font family nonexistent |
Date: |
Tue, 23 Aug 2022 14:42:56 -0400 (EDT) |
Update of bug #62941 (project groff):
Status: In Progress => Fixed
Open/Closed: Open => Closed
Planned Release: None => 1.23.0
_______________________________________________________
Follow-up Comment #7:
[comment #6 comment #6:]
> My original Summary characterized the warning as one for a nonexistent font
rather than family because, although it was provoked by a .fam request, the
1.22.4 warning text referenced a specific font in the family, not the family
itself.
>
> Your new warning is more precise, which can only be more helpful.
You 'bout gave me a heart attack with that re-opening. But I surmise that it
was due to a stale browser tab. Funny--for me, I always get punished for
trying to submit a desynced form. Every bug tracker in the world haaaaaaates
me.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62941>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #62941] groff no longer warns about nonexistent font, Dave, 2022/08/22
- [bug #62941] groff no longer warns about nonexistent font, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, G. Branden Robinson, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent,
G. Branden Robinson <=
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
- [bug #62941] [troff] no warning when font family nonexistent, Dave, 2022/08/23
Re: [bug #62941] groff no longer warns about nonexistent font, Deri, 2022/08/23