Percent repeat signs do not scale correctly with magnifyStaff

[Peter Crighton]

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

--
Peter Crighton | Musician & Music Engraver based in Mainz, Germany
http://www.petercrighton.de