Re: changer la police par défault dans Easylilypond

[John Mandereau]

Le samedi 21 juin 2008 à 06:10 +0200, Ledocq-Boccart a écrit :
> BONNE FETE de la MUSIQUE ;-)

De même !


> J'ai essayé de changer la police par défaut en ajoutant dans \paper
> 
> 
> 
>    myStaffSize = #14
> 
>    #(define fonts
>      (make-pango-font-tree "Times New Roman"
>                             (/ myStaffSize 14)))

La taille de police que tu indiques comme dernier argument de
define-fonts doit être normalisée (divisée) par la taille de police par
défaut qui est 20 : (/ myStaffSize 20)

Salutations lilyesques
John