Bar numbers should not affect music spacing (1880)

diff --git a/scm/define-grobs.scm b/scm/define-grobs.scm
index 0923d2c5253eba03d2367e261a3d6a9ea2dd44fc..d7bc5ccb00f8b53eb40fcc1b1178f894f68d315e 100644 (file)
--- a/scm/define-grobs.scm
+++ b/scm/define-grobs.scm
@@ -236,6 +236,7 @@
 
        (break-visibility . ,begin-of-line-visible)
        (direction . ,UP)
+       (extra-spacing-width . (+inf.0 . -inf.0))
        (font-family . roman)
        (font-size . -2)
        (non-musical . #t)