La taille de police dans l'éditeur Android Studio semble être trop petite.
Comment puis-je augmenter la taille de la police ?
Réponses
Trop de publicités?
RUSHIKESH SHANKAR KARDE
Points
1
user3742642
Points
11
J'ai la dernière version d'Android Studio installée (3.6.1).
Je me suis rendu à : Fichier->Paramètres->Éditeur->Police. La boîte de dialogue affiche un message d'avertissement (triangle jaune) indiquant que la police est définie dans le jeu de couleurs.
(Modifier la police ici n'a eu aucun effet.)
J'ai cliqué sur le lien du message d'avertissement de la boîte de dialogue.
Cela m'a dirigé vers : Fichier->Paramètres->Éditeur->Jeu de couleurs->Police du jeu de couleurs.
(Maintenant je pouvais modifier la police pour mon jeu de couleurs actuel.)
Maher Abuthraa
Points
736
En tant que modification temporaire (pas permanente)
Sur Mac, vous devriez créer vos propres raccourcis ..
C'est facile. mon ensemble:
CMD + Molette vers le haut pour augmenter la taille de la police
CMD + Molette vers le bas pour diminuer la taille de la police
Préférences => Mappage des touches => Augmenter la taille de la police/diminuer la taille de la police/Réinitialiser la taille de la police
!! N'oubliez pas de cliquer sur le bouton Appliquer en bas à droite avant de fermer la boîte de dialogue des paramètres, sinon les changements ne seront pas appliqués et vous devrez refaire cette configuration.
Bonne chance,'.
Joseph Mathew
Points
779
Sergey Smolnikov
Points
306
Modifier définitivement la taille de la police par défaut pour les éléments d'interface utilisateur
Allez dans Paramètres ("Préférences" sur Mac) > Apparence & Comportement > Apparence. Cochez la case "Remplacer les polices par défaut par (non recommandé)". Ensuite, modifiez la taille de la police et appuyez sur "OK"
