On Wed, 1 Mar 2023 at 13:07, Johannes Roeßler <
joei@joei.de> wrote:
>
> Hi List,
>
> how can I change the size of the \slashSeparator?
Hello,
slashSeparator is a markup.
You can scale it for example with the scale command
system-separator-markup = \markup \scale #'(1.5 . 1.5) { \slashSeparator }
% 150% in X and Y, change to your convenience
Or change the definition of
slashSeparator, which is
slashSeparator = \markup {
\center-align
\vcenter \combine
\beam #2.0 #0.5 #0.48
\raise #0.7 \beam #2.0 #0.5 #0.48
}
Cheers,
Xavier
--