Comment changer la police de la console Android dans Eclipse?

Question

La question est donnée, je veux une police plus petite pour afficher ces lignes dans la fenêtre de la console Android (PAS la fenêtre Logcat). J'ai changé la police d'autres (cvs, svn, ...) dans les préférences, mais cette fenêtre a toujours la même taille de police. Je veux que cette fenêtre soit beaucoup plus petite et mets-la sur le côté de mon écran, pas sur le fond, de cette façon j'aurais verticalement plus d'espace dans Eclipse.

[2010-08-02 16:26:58 - project1] ------------------------------
[2010-08-02 16:26:58 - project1] Android Launch!
[2010-08-02 16:26:58 - project1] adb is running normally.
[2010-08-02 16:26:58 - project1] Performing ...Activity activity launch
[2010-08-02 16:26:59 - project1] Uploading project1.apk onto device 'xxxxxxxxxxxx'
[2010-08-02 16:27:03 - project1] Installing project1.apk...
[2010-08-02 16:27:20 - project1] Success!

Pourrait-vous changer la taille de la police de cette fenêtre?

Answer 1

La console Android ne semble pas appliquer les modifications de police jusqu'à ce que Eclipse est relancée. J'ai trouvé que les changements à Général> Apparence> Couleurs et polices> de base> Police de texte appliqué à la console Android après relancement.

Answer 2

De la documentation Eclipse vous trouvez ceci:

Pour définir les polices utilisées dans la vue Console:

Ouvrez le Général> Apparence> Couleurs et polices de caractères page de préférences. Sélectionnez la police de la console dans la catégorie Déboguer et utilisez le bouton Modifier ... pour changer la police. (La police de texte du volet d'informations peut être utilisée pour modifier la police du volet de détails par défaut du débogueur).

Ref: Help Eclipse-SDK