Comment augmenter la taille de la police du code dans IntelliJ?

208

J'ai essayé de le faire via les apparences comme indiqué, mais cela ne semble pas affecter la police ou la taille du code

entrez la description de l'image ici

Comment cela peut-il se faire s'il vous plaît?

James Raitsev
la source
Pour développer ce sujet, ce serait vraiment bien si la taille de la police des commentaires pouvait être modifiée, quelle que soit la taille de la police du code. Cela augmenterait la lisibilité du code. J'ai mis une demande de fonctionnalité :) youtrack.jetbrains.com/issue/IDEA-188012
Ebony Maw

Réponses:

260

C'est aussi simple que Ctrl+ molette de la souris . Si cela ne fonctionne pas pour vous, activez FichierParamètresÉditeurGénéral → (coché) Modifiez la taille de la police (Zoom) avec Ctrl + Molette de la souris .

Tomasz Nurkiewicz
la source
79
cela présente l'inconvénient de s'appliquer uniquement à l'éditeur actuel (c'est-à-dire pas le paramètre global).
Eliran Malka
7
Sur l'idée 14, allez dans Fichier -> Paramètres -> Et puis entrez la recherche "zoom" phraze. La case à cocher correcte est affichée dans la section Editeur -> Général.
dimuthu
7
Il est nécessaire d'activer l'option dans 14.1.2 après CTRL + MAJ + A -> Changer la taille de police de la souris.
Tomasz Waszczyk
1
Il convient de noter que le jeu de couleurs peut avoir une police différente de celle par défaut. Pour changer cela, allez dans Fichier -> Paramètres -> Éditeur -> Police du jeu de couleurs, et définissez-le pour utiliser la valeur par défaut, ou modifiez également la valeur de la taille de police trouvée ici.
Davis Broda
3
Existe-t-il une option pour changer la taille de la police globalement avec un raccourci clavier?
A. Steenbergen
119

Il est possible de changer la taille de la police, etc. lors de la création d'un schéma personnalisé à l'aide du Save As...bouton:

Enregistrer sous...

FelikZ
la source
14
Vous devez prendre le chemin suivant: Fichier> Paramètres> Éditeur> Couleurs et polices> Police --- [Taille] .. Vous pourrez modifier la taille après avoir utilisé l' save asoption
SharpCoder
2
Gardez à l'esprit que vous devez rouvrir tous les fichiers que vous aviez ouverts pour voir la modification apportée par ce paramètre. M'a confus pendant une seconde.
J. Schei
82

Pendant que j'attendais que quelqu'un réponde, j'ai regardé un peu plus autour de moi et j'ai trouvé la réponse.

Accédez à Polices et changez la police à la taille que vous souhaitez

entrez la description de l'image ici

James Raitsev
la source
8
Vous devez créer votre propre police pour modifier la taille de la police.
Moritz
avant de le modifier, enregistrez-le comme le vôtre
bourneli
79

Pour modifier la taille de la police à l'aide du clavier

Sous Windows ou Linux, appuyez sur Ctrl+ Shift+A

Dans MAC, appuyez sur CMD+ Shift+A

Dans le cadre contextuel, tapez Increase font sizeou Decrease font size, puis cliquez sur Entrée.

La police s'agrandit ou diminue.

Iman Marashi
la source
2
Cela a fonctionné pour moi lorsque la molette de la souris ne fonctionnait pas (dans le volet Fichier de queue, PhpStorm 2016.1.1 Build # PS-145.970 sur mac). Merci!
Simon Michael
3
Cmd + Shift + A pour ceux sur mac
allenwoot
14
La mauvaise chose à propos de cette solution est que le changement de taille de police n'est pas appliqué sur tous les fichiers de l'éditeur
Sebastian D'Agostino
21

Dans IntellJ 13

File 
 |
  ---- Settings 
       |
        ------- Editor
                 |
                  ------- Colors & Fonts
                          |
                           ------ Font -> [Size]

entrez la description de l'image ici

Prayagupd
la source
Juste une mise à jour: j'ai installé Rider, et je fais ce travail tant que je ferme tous les fichiers ouverts. Pour les nouveaux ouverts, cela a fonctionné.
jpgrassi
15

Sur un Mac, vous pouvez également pincer le zoom, c'est-à-dire rapprocher ou écarter votre pouce et votre index.

Christian Siegert
la source
Fonctionne dans IntelliJ 2018.3 sur MacOS
Oliver Hernandez
La réponse agréable et simple mais vous devez faire de même dans tous les fichiers sur lesquels vous travaillerez.
Nishant Dwivedi
12

Pour Intellij 2018, c'est assez déroutant car il y a une section Éditeur → Police , mais elle est généralement remplacée par Éditeur → Jeu de couleurs → Police du jeu de couleurs :

entrez la description de l'image ici

Daniel
la source
de cette façon, les changements persisteront également après le redémarrage
YouAreAwesome
12

Sur Mac: Idée IntelliJ → Préférences

entrez la description de l'image ici

Dans la boîte de dialogue Préférences,

  1. Éditeur → Couleurs et polices → Police.
  2. Cliquez sur Enregistrer sous, entrez le nom du schéma tel que le nom d'utilisateur mac.
  3. Modifiez la taille comme requis.

entrez la description de l'image ici

Rajesh Goel
la source
10

Pour modifier la taille de la police dans la version actuelle d'IntelliJ IDEA, accédez à Fichier → Paramètres → Éditeur → Général. Dans la boîte de dialogue, et cochez l'élément intitulé "Changer la taille de police (Zoom) avec Ctrl + molette de souris".

Udara Gunawardhana
la source
9

À partir du InteliJ IDEA 2017.2.5, vous pouvez modifier la taille de la police de l' éditeur en allant à:

SettingsEditorFont

entrez la description de l'image ici

CONvid19
la source
Dans mon cas, il y avait - pour une raison quelconque - une autre police définie dans "Color Scheme Font". Vous voulez peut-être mentionner qu'il faut décocher la case pour remplacer la police par défaut
Neuron
8

Appuyez d'abord sur Ctrl+ Shift+A

puis rechercher augmenter la police entrez la description de l'image ici

Pour les utilisateurs Mac, c'est cmd + shift + A

Vinayak Shedgeri
la source
3
cela présente également l'inconvénient de s'appliquer uniquement à l'éditeur actuel (c'est-à-dire pas le paramètre global).
unknownerror
7

Sur Mac Os, accédez à Préférences> Éditeur> Police> Taille . Saisissez la nouvelle taille de police.

Plus de détails lire cet article de blog

Curieux de savoir comment cela se fait sur Linux et Windows

entrez la description de l'image ici

Raymond Chenon
la source
6

Ce n'est pas possible. S'il vous plaît, votez pour le bug .

Rafael Perez
la source
1
Possible maintenant, mais je n'ai trouvé la solution que grâce au lien de suivi / bug affiché ici. La solution (vérifiée dans Android Studio) est publiée ici stackoverflow.com/a/37145459/2162226
Gene Bo
ce bug était en 2011. Voir ma réponse.
Raymond Chenon
5

Le raccourci est Ctrl + Maj + A - Puis tapez Augmenter la taille de la police puis Entrée

kartick shaw
la source
5

La police utilisée dans les menus, les boîtes de dialogue et les fenêtres d'outils peut être modifiée dans Paramètres> Apparence et comportement> Utiliser une police personnalisée .Boîte de dialogue de configuration

Sergey Prigogin
la source
3

Vous pouvez utiliser le mode Présentation pour augmenter temporairement la taille de la police.

Activer le mode Présentation avec Affichage -> Entrer en mode Présentation

Afficher le menu

J'avais besoin d'augmenter la taille de police par défaut pour le mode présentation. Pour ce faire, ouvrez Paramètres et tapez "mode présentation" dans la barre de recherche. Sous l'apparence, faites défiler vers le bas jusqu'au mode Présentation et sélectionnez votre taille de police préférée.

Paramètres de police de présentation

Parce que je l'utilise fréquemment, j'ai mappé "basculer le mode de présentation" sur Ctrl-P. Sous "Keymap", faites un clic droit sur "Toggle Presentation mode" et sélectionnez "Add keyboard shortcut"

Keymap pour le mode de présentation

Appuyez littéralement sur les touches Contrôle et P, puis appuyez sur OK pour l'activer.

Josiah Yoder
la source
2

Sur le système Intellij Idea 3.3 (Ultimate): Mac

IntelliJ Idea → Préférences ( CMD+ ,) → Éditeur → Général (principal): décochez / cochez «Changer la taille de la police (Zoon) avec la commande + la molette de la souris»

Bhavesh
la source
1

Pour la dernière version d'IntelliJ, je pense que l'option a un peu changé.

Capture d'écran:

entrez la description de l'image ici

Ma version actuelle d'IntelliJ:

IntelliJ IDEA 2017.3.5 (Community Edition)
Build #IC-173.4674.33, built on March 6, 2018
JRE: 1.8.0_152-release-1024-b15 amd64
JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.o

J'espère que cela vous aidera.

Tu es incroyable
la source
0

Si vous ne souhaitez pas modifier les images clés, vous pouvez rapidement entrer et quitter le mode Présentation via la séquence de raccourcis suivante (utilisez également Ctrl sous macOS):

  1. Ctrl+ ` (Commutateur ...)
  2. 4 (Mode d'affichage)
  3. 1 (Entrer / quitter le mode Présentation)
Bernd S
la source
0

Allez à> Paramètres-> Éditeur-> Polices-> Option Schémas. Ensuite, renommez ces options et appliquez, puis choisissez la nouvelle option (renommée), puis l'option pour modifier la taille de la police sera activée.

L'apprenant
la source
0

Modifiez la "Police du schéma de couleurs". et vous obtiendrez ce que vous voulez. J'ai rencontré le même problème et l'ai résolu.

Foysal Ahmed Emon
la source