Viktor Mastoridis <[email protected]> writes: >> >> \layout { >> \shrink Staff.PercentRepeat >> \shrink Staff.RepeatSlash >> \shrink Staff.DoubleRepeatSlash >> } > > > Thank you for this, David. It's a handy little shortcut.
It's actually several shortcuts playing relay without dropping the baton. -- David Kastrup
