Re: minor \markup (with variables) bug

2005-08-01 Thread Mats Bengtsson
First of all, this has nothing to do with variables, you will get exactly the same result using \markup{ "FOO""." } (which by the way is equivalent to \markup{ "FOO" "." } ). Rather, the explanation to the space can be found in the documentation of the \line text markup command. You could for exam

minor \markup (with variables) bug

2005-07-25 Thread Graham Percival
When using a variable (or macro?) in markup, there's an extra space at the end of the string. In the three lines below, the middle line has an extra space (FOO_.) between the FOO and the period. %% Fink 2.7.3 \version "2.6.0" \header{ var = "FOO" tagline = \markup{ \center-align { \line {FOO