Re: Changement de police de caractère

[RESTIF]

il s'agit ici de police d'écriture, je crois 
pensez-vous qu'il soit possible de
modifier la forme des notes, des silences,
des clés, ce qui serait vraiment sympa



En toute amitiét
François






Le 9 mars 2010 à 13:01, Valentin Villenave a écrit :

> 2010/3/9 Martial <address@hidden>:
>>>  une idée pour changer la config par défaut de lilypond-tool
>> 
>> menu Utilities
>>        Globale Options
>>         jEdit
>>                Text Area
>>                (volet droit)   Text font
>> changer la police Monospaced 12 plain
> 
> Et également, tant qu'on y est, changer "Anti-aliased smooth text" (la
> valeur "standard" ira très bien, ou "subpixel" pour un ordi portable).
> 
> Pour les polices monospace, je confesse un faible pour DejaVu Mono.
> 
> Cordialement,
> Valentin