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

2022-06-23 Thread Simon Albrecht
Hi Jean, On 19/06/2022 22:22, Jean Abou Samra wrote: Hope that's clearer? thanks, it is! Best, Simon ___ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond

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

2022-06-19 Thread Jean Abou Samra
Le 19/06/2022 à 22:04, Simon Albrecht a écrit : 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

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

2022-06-19 Thread Simon Albrecht
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.

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

2022-06-19 Thread Jean Abou Samra
Le 19/06/2022 à 18:45, Simon Albrecht a écrit : Hi Jean, On 19/06/2022 00:08, Jean Abou Samra wrote: The point of this override is to avoid placing dynamics over span bars. With the general default of '(+inf.0 . -inf.0), they are mostly ignored in the horizontal spacing problem, which causes

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

2022-06-19 Thread Simon Albrecht
Hi Jean, On 19/06/2022 00:08, Jean Abou Samra wrote: The point of this override is to avoid placing dynamics over span bars. With the general default of '(+inf.0 . -inf.0), they are mostly ignored in the horizontal spacing problem, which causes problems with things like … So this

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

2022-06-18 Thread Jean Abou Samra
Le 18/06/2022 à 23:59, Simon Albrecht a écrit : Hello everyone, it seems that some unorthodox elements in my style sheets tend to unearth issues. StaffGroup and similar contexts set DynamicText.extra-spacing-width to #f, I guess with Dynamics contexts in mind (?). The following example