set-global-staff-size rejects set-global-fonts settings

Hi there. I found that use of set-global-staff-size or layout-set-staff-size makes set-global-fonts irrelevant. Please find the minimal example: \version "2.19.83" > \paper { > #(define fonts > (set-global-fonts > #:music "gonville" > #:brace "gonville" >)) > } > %{ If the bel

Re: set-global-staff-size rejects set-global-fonts settings

Am 18.10.19 um 10:54 schrieb CieMaKat .: Hi there. I found that use of set-global-staff-size or layout-set-staff-size makes set-global-fonts irrelevant. The order is important: The font settings have to come *after* the staff size. I’m not sure whether this really is a bug or just not well

Re: set-global-staff-size rejects set-global-fonts settings

Hi, please always answer to the list. Am 18.10.19 um 12:03 schrieb CieMaKat .: Thanks for your answer -- that's it. I couldn't find such restriction in the documentation. I'm facing another problem, which is related to the previous one. Looks like notation font is not scalled correctly. Yo