Taille de police de l’éditeur de studio Android

Y a-t-il un moyen de rendre le texte de l’éditeur plus grand dans Android Studio?

Je vais dans Paramètres> Editeur> Couleurs et fonts> 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?

Il vous suffit 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 écraser les profils par défaut.

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

Cliquez sur Fichier> Paramètres> Editeur et cochez le champ: Modifier la taille de la police avec CTRL + molette de la souris . capture d'écran Travaillé pour moi

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

Taille de police dans Android Studio --- sous Windows

Si vous utilisez Android Studio (version 0.5.2), cela s’applique:

Cliquez sur [Fichier] [Paramètres], puis dans la zone “Paramètres IDE” (volet gauche), choisissez “Apparence”.

Sur le côté droit (les “Paramètres d’apparence”), cochez la case intitulée “Remplacer les fonts par défaut (non recommandé)”, puis le choix “Taille” sera grisé et vous pourrez choisir une nouvelle taille en utilisant 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 supprimer le panneau Paramètres.

Précautions: Android Studio étant 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 indique ” non recommandé “. Vous ne voulez pas avoir à modifier les parameters du programme avec un éditeur hexadécimal si vous faites des dégâts en réglant les fonts sur 144 points au lieu de seulement 14 – la ligne de menu serait énorme.

Une petite augmentation de la taille de la police doit être correcte, mais veillez à ne pas rendre le texte trop grand pour ne pas pouvoir rentrer 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). ” (au fond).

Remarque: le texte “Modifier la fenêtre” est plus petit que tous les autres textes, mais tous les textes sont contrôlés par l’un des parameters. 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.

Une fonctionnalité intéressante est:

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

En haut il y a une section “Souris”

Vous pouvez cliquer sur “Changer la taille de la police (ZOOM) avec CTRL + molette de la souris”

Vous pouvez donc modifier la taille à la demande.

Dans MacBook Android Studio -> entrer la description de l'image ici

Sélectionnez Préférences … ->

entrer la description de l'image ici Cliquez sur Enregistrer sous .. – Donnez un nom entrer la description de l'image ici -> OK -> puis sélectionnez Scheme -> et vous avez donné le nom entrer la description de l'image ici 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 des fonts. 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 que cela 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, tapez la font . Vous trouverez plusieurs entrées, notamment Increase Font Size et Decrease Font Size . Vous pouvez double-cliquer sur chacun d’eux pour append un raccourci clavier.

carte clé

Pour le mien, j’ai choisi Cmd/= et Cmd/- comme raccourcis respectivement. Vous serez invité avec une option pour Leave ou Remove conflits. 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 append un keymap

ajouter

Entrer la combinaison de touches et noter tous les conflits

opt1

Choisissez comment gérer les conflits

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

laisser

Nota bene

Reset Key Reset Font Size ( Reset Font Size , qui permet de rétablir les parameters par défaut, est une autre clé utile pour le dimensionnement des Reset Font Size . Cette option apparaît lorsque vous effectuez une recherche dans les préférences de Keymap pour la font . Dans mon cas, j’ai choisi Cmd/Shift/0 pour éviter le raccourci Cmd\0 couramment utilisé qui ouvre la fenêtre Messages.

Réinitialiser la taille de la police

réinitialiser

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 une font . Une fois trouvé, double-cliquez sur les choix de increase/decrease font size . Sur le Mac, j’accède au menu des actions en utilisant le raccourci Cmd/Shift/A ou sous le menu Help , choisissez Find Actions .

Accédez à Paramètres> Editeur , développez l’arborescence de l’éditeur, accédez à Couleurs et fonts. Développez cette arborescence et recherchez Police . En haut, sélectionnez le thème pour lequel vous souhaitez modifier les fonts, puis modifiez la police sous Editeur.

Il semble qu’ils l’ont corrigé 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”, voilà.

Goto Files | Paramètres | Apparence et comportement -> Apparence -> Faites défiler la souris Vous verrez que le mode de présentation change la taille de la police.