[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: rounded-box vs. box in text markup

From: Federico Bruni
Subject: Re: rounded-box vs. box in text markup
Date: Wed, 28 Mar 2018 16:45:54 +0200

Il giorno mer 28 mar 2018 alle 14:23, Emilio Millan <address@hidden> ha scritto:
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.

Hi Emilio

What about this?

f''2^\markup {
 \dir-column \rounded-box {

See here:

reply via email to

[Prev in Thread] Current Thread [Next in Thread]