I want to check if a known problem with layout-set-staff-size is already on the issue list. SO I put layout-set-staff-size in the search box and am told:
Showing 25 results of 1996 which is too many to search through. Also, I rather doubt that there are 1996 issues involving layout-set-staff-size :) So I still don't know if it's worth while reporting the bug :( Regards, Peter mailto:lilyp...@ptoye.com www.ptoye.com _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond