devs ask for feedback about RehearsalMark spacing

[Janek Warchoł]

Hello,

we'd like to learn your opinion about issue 3875
(http://code.google.com/p/lilypond/issues/detail?id=3875): should
there be extra space inserted between notes when there's a
RehearsalMark inside a measure?  (see attachments)

We'd also be grateful if you tested the change on your scores, to make
sure that there are no unwanted side-effects.  To do so, use this
override:

\override Score.RehearsalMark #'non-musical = #'()

Looking forward to your feedback,
Janek

rehearsal-mark-spacing-proposed.png
Description: PNG image

rehearsal-mark-spacing-current-lily.png
Description: PNG image