Follow-up Comment #7, bug #55154 (project groff):
[comment #6 comment #6:]
> Possibly, we should try deprecating both of these uses of `tr`,
> so that we can say simply that `tr` remaps *characters* (ordinary
> or special). Full stop.
Now that this proposal has its own ticket (bug #64337), I'll respond there to
the parts of this comment specifically related to that.
> I don't think \| and \^ are too much of a challenge here.
> They're still not _characters_, and we could introduce new
> directives to the font description file syntax to replace them.
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.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?55154>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
