|
| From: | Martial |
| Subject: | Re: Changement de police de caractère |
| Date: | Tue, 09 Mar 2010 12:53:26 +0100 |
| User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.9.1.8) Gecko/20100227 Thunderbird/3.0.3 |
> 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
--
Martial
| [Prev in Thread] | Current Thread | [Next in Thread] |