boxed-rehearsal-marks fixed

[Erik Sandberg]

Hi,
this is fixed in 2.5.11.

\version "2.4.0" % reported in "2.3.5"

\header { texidoc = "
The box around a rehearsal mark becomes too tight if the font size
of the mark is increased.
" }


\score {
 \relative c' {
\set Score.markFormatter =
  #(lambda (mark context)
    (make-bold-markup (make-box-markup (number->string mark))))
\override Score.RehearsalMark #'font-size = #1
    \mark \default R1 |
\override Score.RehearsalMark #'font-size = #20
    \mark \default R1 |
  }

  \layout {
    indent = 0.0\mm
    linewidth = 70.0\mm
  }
}

% EOF