|
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 engraver-init.ly anyway, I'll just throw out the useless extra \type.
Lukas
[Prev in Thread] | Current Thread | [Next in Thread] |