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