Am 25.04.2014 10:53, schrieb Phil Burfitt:
Does NoteHead.extra-spacing-width work?
No, I had tried that already, and it didn't have any effect (surprisingly) Urs _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
