Wouldn't it make more sense to have one setting for all of the included fonts? Are there really circumstances where we can expect all of these to be different?
Probably not. I think that the patch is a proof of concept, and we should comment on it. https://codereview.appspot.com/224800043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
