[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62941] [troff] no warning when font family nonexistent
From: |
Dave |
Subject: |
[bug #62941] [troff] no warning when font family nonexistent |
Date: |
Tue, 23 Aug 2022 14:51:14 -0400 (EDT) |
Follow-up Comment #9, bug #62941 (project groff):
[comment #7 comment #7:]
> I surmise that it was due to a stale browser tab.
Yeah, I wish Savannah would warn if a more recent change has happened
underneath you. Sometimes I check first, but ultimately it's a race condition
that the human operator can't always detect, but the software could.
_______________________________________________________
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, 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,
Dave <=
Re: [bug #62941] groff no longer warns about nonexistent font, Deri, 2022/08/23