Comment faire pour augmenter les polices dans tous les éléments de l'INTERFACE utilisateur dans IntelliJ IDEA?
Est-il une possibilité pour augmenter/diminuer la taille de la police dans tous les éléments de l'INTERFACE utilisateur tout au long de la IntelliJ IDEA?
Vous devez vous connecter pour publier un commentaire.
Il est possible de remplacer la police/taille de l'INTERFACE utilisateur ici (rédacteur en chef de la police est configuré ailleurs):
Suivez ces trois étapes pour changer toutes les polices de l'IDE (y compris l'arborescence du projet et de la console):
1)
Effectuer une recherche basée sur les polices dans le menu des paramètres:
2)
3)
En Mai 2018 de l'INTERFACE utilisateur ressemble à ceci:
Cela semble avoir une réponse à une question similaire: Est-il possible de changer la taille de la police du panneau projet?
Vous pouvez également essayer de changer votre système de police et de voir si l'Ide, les sélectionne. Peut ne fonctionner que pour les menus bien et si vous utilisez le système de thème GTK+ sur Linux.
Le simple est:
Doc