Comment augmenter la taille de la police de l'éditeur ?

Question

La taille de police dans l'éditeur Android Studio semble être trop petite.

Comment puis-je augmenter la taille de la police ?

Answer 1

Fait, vous pouvez essayer ceci (sur Mac) : Préférences --> Éditeur --> Couleurs & Polices, du côté droit, puis cliquez sur "Enregistrer sous...", cela créera un nouveau schéma, nous le nommons "Personnalisé", ensuite tous les champs deviennent éditables, police, espace, couleur, etc.

Answer 2

Ajuster temporairement la taille de la police

Allez dans Paramètres (ou Préférences sur Mac) > Éditeur > Général > Modifier la taille de la police (Zoom) avec Ctrl + Molette de la souris OU Appuyez sur "Cmd + Shift + A" pour Mac.

Cela vous permettra de modifier rapidement la taille de la police quand vous le souhaitez. Cependant, la police sera réinitialisée à la taille par défaut la prochaine fois que vous ouvrirez Android Studio. (La fonctionnalité Control+Molette de la souris ne sera pas réinitialisée, cependant. Vous n'avez à le faire qu'une fois.)

Changer définitivement la taille de la police par défaut

Allez dans Paramètres > Éditeur > Couleurs & Polices > Police. Cliquez sur "Enregistrer sous..." et choisissez un nouveau nom de schéma. Ensuite, modifiez la taille de la police et cliquez sur OK. Cela sera la taille par défaut à chaque ouverture d'Android Studio désormais.

Answer 3

La solution proposée par Acoustics fonctionne, sur Windows, il suffit d'aller dans Fichier --> Paramètres --> Éditeur --> Couleurs & Polices, puis enregistrer sous, donner un nom et vous pouvez modifier tous les champs que vous souhaitez.

Answer 4

Paramètres (Ctrl+Alt+s)--> Apparence-->Remplacer les polices par défaut par (déconseillé) :

puis changer la taille à 16+.

Answer 5

Par défaut, Android Studio ne permet pas le zoom avant ou arrière en utilisant simplement CTRL + Molette de la souris. Vous pouvez l'activer dans les paramètres, bien qu'il semble que son emplacement ait changé avec le temps. Les utilisateurs de Mac sont bien documentés dans d'autres réponses, mais j'utilise Windows.

Pour les utilisateurs de Windows dans Android Studio 3.4, vous allez dans Fichier -> Paramètres -> Général, puis cochez la case Changer la taille de la police (Zoom) avec Ctrl + Molette de la souris. Voir ci-dessous :