Hallo Rob und harm,
vielen Dank, beide Lösungen klappen.
Ich war irgendwie auf dem Holzweg, weil ich
hier die folgende Lösung gefunden hatte, die aber interessanterweise keine Klammern hat und dieses "default" dazwischen:
\override VerticalAxisGroup.default-staff-staff-spacing.basic-distance = #10Das "default" war offenbar Schuld, dass es bei mir gar keine Warnung gab.
Im gleichen Abschnitt steht auch
\override VerticalAxisGroup.
default-staff-staff-spacing =
#'((basic-distance . 10)
(minimum-distance . 9)
(padding . 1)
(stretchability . 10))
Funktioniert nicht. Aber ohne
default läuft es. Offenbar ein Schreibfehler.
@harm
Ich habe die erste Schreibweise (ohne default) mit 2.19.0 probiert - klappte nicht. Tatsächlich funktioniert es erst bei 2.19.15.
Die Magie des Codes...

Grüße von Trulli