Issue 215: #(layout-set-staff-size X) doesn't use pt as the scale
http://code.google.com/p/lilypond/issues/detail?id=215
Comment #2 by gpermus:
(No comment was entered for this change.)
Issue attribute updates:
Status: Verified
--
You received this message because you are listed in the
Issue 215: #(layout-set-staff-size X) doesn't use pt as the scale
http://code.google.com/p/lilypond/issues/detail?id=215
Comment #1 by hanwenn:
(No comment was entered for this change.)
Issue attribute updates:
Status: Fixed
Labels: fixed_2_11_11
--
You received this message be
Issue 215: #(layout-set-staff-size X) doesn't use pt as the scale
http://code.google.com/p/lilypond/issues/detail?id=215
New issue report by gpermus:
% layout-set-staff should pt as the scale (the function is called
% internally at some places, which would
% have to be adjusted correspondingly)