|
From: | Simon Albrecht |
Subject: | Re: DynamicText.extra-spacing-width in StaffGroups and similar |
Date: | Sun, 19 Jun 2022 22:04:16 +0200 |
On 19/06/2022 19:17, Jean Abou Samra wrote:
For my own use now, it’s easy to override extra-spacing-width to infinitesimal for all Voice contexts.You're welcome. Just curious: what do you mean by 'infinitesimal'? '(+inf.0 . -inf.0)? That simply means to make the height entirelyempty.
That’s what I meant—didn’t want to type it out… did I misunderstand? I thought it’s an infinitely small interval, because '(0 . 0) would/might lead to some sort of computational problem… My programming knowledge is very superficial.
Best, Simon
[Prev in Thread] | Current Thread | [Next in Thread] |