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?

InformationsquelleAutor Eugene | 2012-06-15
  1. 91

    Il est possible de remplacer la police/taille de l'INTERFACE utilisateur ici (rédacteur en chef de la police est configuré ailleurs):

    Comment faire pour augmenter les polices dans tous les éléments de l'INTERFACE utilisateur dans IntelliJ IDEA?

    • Je peux voir le remplacé police également dans la vue projet et arbres
    • Je pense que la réponse est pour une version antérieure. Le changement de police fait la bonne chose en 14.
    • Il serait génial si la réponse ont été mises à jour pour le plaisir des futurs lecteurs (ça change de la police partout, y compris le projet de vies/arbres).
    • la mise à jour des polices travaille pour l'ensemble de l'INTERFACE utilisateur maintenant (2018.1). Vous devez mettre à jour votre réponse.
    • J'ai récemment commencé à utiliser Intellij Idea.. (version 2018.2) je ne peut pas déterminer comment accéder à cet écran... des suggestions?
    • href="https://www.jetbrains.com/help/idea/accessing-settings.html" >jetbrains.com/help/idea/accessing-settings.html, jetbrains.com/help/idea/settings-appearance.html
    • Oh! Les [Paramètres] dans le menu Fichier... Merci! Je suis sur Ubuntu et je pense qu'il est en train de saper les touches Ctrl-Alt-S de frappe.

    InformationsquelleAutor CrazyCoder
  2. 51

    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:

    Comment faire pour augmenter les polices dans tous les éléments de l'INTERFACE utilisateur dans IntelliJ IDEA?

    2)

    Comment faire pour augmenter les polices dans tous les éléments de l'INTERFACE utilisateur dans IntelliJ IDEA?

    3)

    Comment faire pour augmenter les polices dans tous les éléments de l'INTERFACE utilisateur dans IntelliJ IDEA?

    • Excellent, cela change de l'arborescence du projet et de la console.
    InformationsquelleAutor Saeed Zarinfam
  3. 8

    En Mai 2018 de l'INTERFACE utilisateur ressemble à ceci:

    1. Appuyez sur Ctrl + Maj + Un
    2. Paramètres:
      Comment faire pour augmenter les polices dans tous les éléments de l'INTERFACE utilisateur dans IntelliJ IDEA?
    InformationsquelleAutor Gerrit Sedlaczek
  4. 2

    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.

    InformationsquelleAutor Yunchi
  5. 0

    Le simple est:

    1. Appuyez Sur Ctrl+Maj+A.
    2. Dans la fenêtre image, type d'Augmenter la taille de police ou de Diminuer la taille des polices, puis cliquez sur Entrée.

    Doc

    • Cela modifie uniquement l'éditeur de police. La question est à propos de tout autre élément de l'INTERFACE utilisateur dans Intellij, depuis la taille de police par défaut est ridiculement minuscule.
    • Cela change aussi seulement l'éditeur de la taille de la police de la classe courante, pas de ouvert toutes les classes
    • Cela ne veut pas répondre à l'OP question.
    InformationsquelleAutor Volodymyr Yasinskyi