Follow-up Comment #9, bug#55154 (group groff):
[comment #7 comment #7:]
> > I don't think \| and \^ are too much of a challenge here.
>
> I recall you've spoken about the font file's ability to alter
> their sizes being a feature you've never seen used in practice,
> and maybe floated the idea of deprecating this as well, but if
> there's a ticket for that proposal, I couldn't find it.
I found the discussion, buried in bug #58930 (in a paragraph beginning "The
two exceptions"). You did say you'd never seen this feature used, but came
short of calling for its deprecation. So my half-memory was half correct.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?55154>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
