Taille de la police de l'éditeur d'Android Studio

Question

Existe-t-il un moyen d'agrandir le texte de l'éditeur dans Android Studio ?

Je vais dans Paramètres>Éditeur>Couleurs&Fontes>Police où je trouve "Taille:12". Cependant, je ne parviens pas à modifier la valeur de cette taille.

Answer 1

Ils n'ont pas rendu ça très évident, n'est-ce pas ?

Il vous suffit de cliquer sur le bouton "Enregistrer sous" pour créer un nouveau profil. Vous ne pouvez pas changer la police car vous ne pouvez pas écraser les profils par défaut.

Answer 2

Si la création d'un paramètre personnalisé ne vous aide pas :

Cliquez sur Fichier > Paramètres > Éditeur et vérifiez le champ : Modifier la taille de la police avec CTRL + molette de la souris . Ça a marché pour moi.

Answer 3

En prolongement de la réponse ci-dessus, pour Windows : 1. Allez dans Fichier > Paramètres ... 2. Modifiez les paramètres indiqués ci-dessous

Answer 4

Si vous utilisez Android Studio (version 0.5.2), ceci s'applique :

Cliquez sur [File][Settings], et dans la zone "IDE Settings" (volet de gauche), choisissez "Appearance".

Dans la partie droite (Paramètres d'apparence), cochez la case "Remplacer les polices par défaut par (non recommandé)". Le choix "Taille" disparaît alors et vous pouvez choisir une nouvelle taille en utilisant la liste déroulante ou en saisissant un nombre. Vérifiez que le nombre est raisonnable (pas trop grand).

Cliquez sur [Appliquer] pour voir le résultat de votre choix et assurez-vous qu'il est lisible avant de choisir [OK] et de quitter le panneau des paramètres.

Précautions : Étant donné qu'Android Studio est encore en version bêta (un nouveau programme), le choix d'une police trop petite ou trop grande, ou d'une police avec laquelle l'éditeur n'est pas d'accord, peut rendre le texte illisible ou pire (provoquer un crash).

C'est probablement la raison pour laquelle le réglage dit " non recommandé ". Vous ne voulez pas avoir à modifier les paramètres du programme avec un éditeur hexadécimal si vous faites une erreur en réglant les polices sur 144 points au lieu de 14 seulement - la ligne de menu serait énorme.

Une légère augmentation de la taille de la police devrait suffire, mais veillez à ce que le texte ne soit pas si grand qu'il ne puisse pas tenir dans la zone qui lui est réservée (pas seulement dans l'éditeur, mais aussi dans le "menu principal" et la "barre d'informations" (en bas)).

Nota: Le texte de la "fenêtre d'édition" est plus petit que tous les autres textes d'une taille, mais tous les textes sont contrôlés par le même paramètre. Le fait de rendre le texte de la "fenêtre d'édition" trop grand risque fort de causer des problèmes ailleurs, puisque tous les autres textes sont plus grands que ce qui est affiché dans la "fenêtre d'édition".

Answer 5

Keymap

Il n'y a rien de mal dans les autres réponses mais celle-ci montre comment associer la taille de la police à un raccourci clavier . On peut alors utiliser Cmd/= y Cmd/- (ou Ctrl/= , Ctrl- ) pour gérer la taille de la police. Vous pouvez choisir la combinaison de touches de votre choix, mais notez le message de conflit qui s'affiche lorsque vous sélectionnez un raccourci clavier (pour être sûr que cela a un sens dans votre cas d'utilisation).

Allez dans le menu Préférences (Paramètres sous Windows) et sélectionnez le titre de la section Keymap sur la gauche. Dans le champ de recherche de la section de droite, tapez font . Vous trouverez plusieurs entrées, notamment Increase Font Size y Decrease Font Size . Vous pouvez double-cliquer sur chacun d'entre eux pour ajouter un raccourci clavier.

Pour le mien, j'ai choisi Cmd/= y Cmd/- comme mes raccourcis respectifs. Vous serez invité à choisir entre Leave o Remove conflits. Dans mon cas, j'ai choisi de laisser les conflits en place car il est peu probable qu'ils soient chargés en même temps.

Double-cliquez pour ajouter un keymap

Entrez la combinaison de touches et notez les conflits éventuels

Choisir comment gérer les conflits

NB : Si vous choisissez Leave les conflits demeurent ~ mais peuvent ne pas avoir d'importance s'ils ne sont pas chargés en même temps. Si vous choisissez Remove alors l'original les raccourcis clavier d'origine sont supprimés (à utiliser avec précaution).

Nota Bene

Un autre keymap utile sur la taille des polices est Reset Font Size ce qui rétablit les paramètres par défaut. Cette option apparaît lorsque vous recherchez la Keymap dans les préférences pour font . Dans mon cas, j'ai choisi Cmd/Shift/0 afin d'éviter l'utilisation courante Cmd\0 qui ouvre la fenêtre Messages.

Réinitialiser la taille de la police

Valable à partir d'Android Studio 1.5.1

FYI

Une autre méthode pour changer la taille des polices est d'ouvrir les Actions et de rechercher font . Une fois trouvé, double-cliquez sur le increase/decrease font size les choix. Sur le Mac, j'accède aux actions en utilisant le bouton Cmd/Shift/A ou sous le raccourci Help choisissez Find Actions .