Setting staff size?

[Bertalan Fodor]

#(set-global-staff-size 11) doesn't reduce the font size. Is it a bug?

Bert


_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user