Bonjour,
Auriez vous une idée du comment changer la police qu'utilise Eclipse dans son editeur de texte? j'ai regardé dans les preferences et y'a rien :-(
pour info: j'utilise Eclipse 3.2
merci,