Re: Changement de police de caractère

[Valentin Villenave]

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