bug-lilypond
[Top][All Lists]
Advanced

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

Re: DynamicText.extra-spacing-width in StaffGroups and similar


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 entirely
empty.


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




reply via email to

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