Dimensionnement des polices de l'éditeur Android Studio

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

Je vais dans Paramètres> Editeur> Couleurs et polices> Police où je trouve "Taille: 12". Cependant, je ne peux pas modifier la valeur de la taille.

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

Tout ce que vous avez à faire est de cliquer sur le bouton "Enregistrer sous" pour créer un nouveau profil. Vous ne pouvez pas modifier la police car vous ne pouvez pas remplacer les profils par défaut.

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

Cliquez sur Fichier> Paramètres> Editeur et vérifiez le champ: Changer la taille de la police avec CTRL + Molette de la souris . A travaillé pour moi.

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

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

Cliquez sur [Fichier] [Paramètres], et sous la zone "Paramètres IDE" (volet de gauche), choisissez "Apparence".

Sur le côté droit (les `` Paramètres d'apparence ''), cochez la case à cocher intitulée "Remplacer les polices par défaut par (non recommandé)", puis le choix "Taille" ne sera pas grisé et vous pourrez choisir une nouvelle taille en utilisant le PullDown ou en tapant un numéro. 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 fermer le panneau des paramètres.

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

C'est probablement la raison pour laquelle le paramètre dit « non recommandé ». Vous ne voulez pas avoir à modifier les paramètres du programme avec un éditeur hexadécimal si vous faites un gâchis en définissant les polices sur 144 points au lieu de seulement 14 - la ligne de menu serait énorme.

Une petite augmentation de la taille de la police devrait être acceptable mais veillez à ne pas rendre le texte si grand qu'il ne puisse pas rentrer dans la zone qui lui était réservée (pas seulement dans l'éditeur mais aussi dans le "Menu principal" et la "barre d'informations" " (au fond).

Remarque: Le texte de la «fenêtre d'édition» est plus petit que tous les autres textes d'une taille, mais tout le texte est contrôlé par un seul paramètre. Rendre le texte de la «fenêtre d'édition» trop grand est très susceptible de causer des problèmes ailleurs puisque tout le reste du texte est plus grand que ce qui est affiché dans la «fenêtre d'édition».

Une fonctionnalité intéressante est:

Fichier -> Paramètres -> Editeur -> Général

En haut il y a une section "Souris"

Vous pouvez cliquer sur "Modifier la taille de la police (ZOOM) avec CTRL + Molette de la souris"

Vous pouvez donc modifier la taille à la demande.

Dans MacBook Android Studio ->

Sélectionnez Préférences ... ->

Cliquez sur Enregistrer sous .. -> Donnez un nom -> OK -> puis sélectionnez Schéma -> et vous avez donné un nom à chaque option modifiable

Keymap

Il n'y a rien de mal avec les autres réponses, mais celle-ci montre comment mapper la taille de la police à un raccourci clavier . On peut alors utiliser Cmd/=et Cmd/-(ou Ctrl/=, Ctrl-) pour gérer le dimensionnement de la police. Vous pouvez choisir n'importe quelle combinaison de touches que vous aimez, mais notez le message de conflit qui apparaît lorsque vous sélectionnez un raccourci clavier (juste pour être sûr qu'il a du 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 la zone de recherche des sections de droite, saisissez font. Vous trouverez plusieurs entrées dont Increase Font Sizeet Decrease Font Size. Vous pouvez double-cliquer sur chacun de ces éléments pour ajouter un raccourci clavier.

Pour le mien, j'ai choisi Cmd/=et Cmd/-comme raccourcis respectivement. Vous serez invité avec une option Leaveou des Removeconflits. Dans mon cas, j'ai choisi de laisser les conflits en place car ils ne seront probablement jamais chargés en même temps.

Double-cliquez pour ajouter un keymap

Entrez la combinaison de touches et notez les conflits

Choisissez comment gérer les conflits

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

Nota bene

Un autre keymap utile sur le dimensionnement des polices est Reset Font Size, qui rétablit les paramètres par défaut. Cette option apparaît lorsque vous recherchez le Keymap dans les préférences pour font. Dans mon cas, j'ai choisi d' Cmd/Shift/0éviter le Cmd\0raccourci couramment utilisé 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 modifier les tailles de police consiste à ouvrir le menu Actions et à rechercher font. Une fois trouvé, double-cliquez sur les increase/decrease font sizechoix. Sur Mac, j'accède au menu des actions à l'aide du Cmd/Shift/Araccourci ou dans le Helpmenu, choisissez Find Actions.

Accédez à Paramètres> Editeur , développez l'arborescence de l'éditeur, accédez à Couleur et polices, développez cet arbre et recherchez Police , en haut, sélectionnez le thème pour lequel vous souhaitez modifier les polices, puis modifiez la police sous Police de l'éditeur

Il semble qu'ils ont résolu le problème maintenant. J'utilise Android Studio 3.0 et je suis capable de modifier le schéma par défaut.

Ouvrez simplement Settings > Editor > Colors&Fonts > Font, entrez la taille de police souhaitée dans le champ "Taille" et cliquez sur le bouton "Appliquer", c'est tout.

Aller aux fichiers | Paramètres | Apparence et comportement -> apparence -> faites défiler la souris vers le bas, vous trouverez le mode de présentation changer la taille de la police.