Re: RepeatSlash size is changed when StaffSymbol.staff-space is overriden in 2.24

[Viktor Mastoridis]

>
> \layout {
>   \shrink Staff.PercentRepeat
>   \shrink Staff.RepeatSlash
>   \shrink Staff.DoubleRepeatSlash
> }


Thank you for this, David. It's a handy little shortcut.

VM