Re: Percent repeat signs do not scale correctly with magnifyStaff

[Jean Abou Samra]

Le 16/04/2021 à 23:19, Peter Crighton a écrit :
> Hello all,
>
> when using \magnifyStaff it seems as though the dots of a percent 
> repeat sign will scale accordingly, but not the slash. I cannot 
> imagine this is expected behaviour.
>
> \version "2.23.2"
> {
>   \magnifyStaff 0.5
>   \repeat percent 2 {
>     c'1
>   }
> }
>
> I also could not find any method to manually override the slash size. 
> Any ideas?
>
> Thanks,
> Peter

Hi,

This definitely looks like a bug. Please file an issue on GitLab at 
https://gitlab.com/lilypond/lilypond/-/issues.

As a workaround, override PercentRepeat.thickness:

\version "2.22.0"

{
  \magnifyStaff 0.5
  \override PercentRepeat.thickness = 0.25
  \override DoublePercentRepeat.thickness = 0.25
  \repeat percent 2 { c'1 }
}

Best,
Jean