Comment #3 on issue 3027 by [email protected]: Changing document fonts with non-standard global font size leads to scaling errors
http://code.google.com/p/lilypond/issues/detail?id=3027
This is probably overkill for this patch, but I do not understand why one has to write the scaling factor explicitly since I cannot think of a user case where something else than (/ staff-size 20) would be recommended.
