|
From: | Loïc Chahine |
Subject: | Choix des fontes et Staff Size |
Date: | Sat, 10 Mar 2012 13:14:34 +0100 |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:8.0) Gecko/20111105 Thunderbird/8.0 |
Bonjour à tous ! J’ai découvert tout récemment comment changer les fontes globalement pour une partition : \paper { myStaffSize = #20 #(define fonts (make-pango-font-tree "Adobe Garamond Pro" "Nimbus Sans" "Luxi Mono" (/ myStaffSize 20))) }
|
[Prev in Thread] | Current Thread | [Next in Thread] |