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