On 12/27/06, *Manuel* <address@hidden <mailto:address@hidden>> wrote:
Thank you, it is *much* better now. But I still get an error message:
Warnung: Eigenschafts-Typpr"ufung f"ur >>outside-staff-padding<<
(backend-type?) kann nicht gefunden werden. vielleicht ein
Tippfehler?
Warnung: Zuweisung wird trotzdem durchgef"uhrt
[8][11]
And the words do appear too close to the staff.
Ah, sorry. outside-staff-padding is a new feature in 2.11. In 2.10,
change it to padding (and maybe boost the value up to 3 or so).