Définir la taille de la police du terminal dans PhpStorm?
Comment puis-je définir la taille de la police dans le terminal intégré dans l'IDE JetBrains PhpStorm? Le texte est trop petit. Est-ce possible?
LazyOne a déjà indiqué où vous pouvez changer cela .
Gardez à l'esprit que vous devez d'abord cliquer sur le bouton "Enregistrer sous ..." à côté du jeu de couleurs afin de créer un nouveau thème de couleur - vous ne pouvez rien changer sauf si vous créez une copie .
PHPStorm protip - si vous ne trouvez pas les paramètres, utilisez simplement le champ de recherche:
Une autre alternative est d'appuyer sur CTRL/CMD + Maj + A et de rechercher console:
Après avoir défini la police, le redémarrage n'est pas nécessaire, fermez simplement puis ouvrez un nouveau terminal comme indiqué ici:
Paramètres (Préférences sur Mac) | Éditeur | Couleurs et polices | Police de la console
REMARQUE: vous ne pouvez pas modifier le jeu de couleurs groupé - vous devrez faire une copie du groupé afin de pouvoir apporter des modifications.