Est-il possible de changer la taille de police de la console dans IntelliJ IDEA?
J'ai changé la taille réelle du texte sous Paramètres> Editeur> Police, mais la police "console/terminal" est trop petite.
J'utilise Community Edition 15
Ouvrez Paramètres -> Éditeur -> Couleurs et polices -> Police de la console.
Vous pouvez modifier la taille et les couleurs de la police, mais vous devez enregistrer le schéma dans un schéma personnalisé avant de pouvoir modifier les valeurs.
J'utilise l'édition ultime. Si vous ne voyez pas ces paramètres, c'est probablement à cause de l'édition communautaire que vous utilisez.
Mise à jour : le chemin du menu a changé depuis Idea 2018. Le nouveau chemin du menu est Settings -> Editor -> Color Scheme -> Console Font