very helpful, thx Xavier!
On Wed, 1 Mar 2023 at 13:07, Johannes Roeßler 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) {
On Wed, 1 Mar 2023 at 13:07, Johannes Roeßler 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
Hi List,
how can I change the size of the \slashSeparator?
Best regards
Joei
