[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Engraver_group with parent context type?

From: Lukas-Fabian Moser
Subject: Re: Engraver_group with parent context type?
Date: Tue, 2 Nov 2021 23:02:45 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0

Am 01.11.21 um 21:40 schrieb Jean Abou Samra:

In short: useless but not problematic.

Am 01.11.21 um 21:08 schrieb David Kastrup:
It's redundant. Not incorrect, at worst slightly inconsistent/ugly.

Thanks much to both of you (and also for the very enlightening code snippets that make the reasoning completely clear).

So, while I'm cleaning up anyway, I'll just throw out the useless extra \type.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]