[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
rounded-box vs. box in text markup
From: |
Emilio Millan |
Subject: |
rounded-box vs. box in text markup |
Date: |
Wed, 28 Mar 2018 08:23:05 -0400 |
Hi all. I'm a fairly new user so I may be missing something obvious.
In the following example, is there a way to "snug up" the rounded
boxes over the second note so that they are vertically spaced like the
boxes over the first note?
\version "2.19.80"
{
f''2^\markup{\box "1"}^\markup{\box "2"}^\markup{\box "3"}
f''2^\markup{\rounded-box "1"}^\markup{\rounded-box
"2"}^\markup{\rounded-box "3"}
}
I know I can override box-padding to make the rounded boxes smaller,
but I don't know how to change the space between them.
Regards,
Emilio
- rounded-box vs. box in text markup,
Emilio Millan <=