web-dev-qa-db-fra.com

Comment augmenter la taille de la police des menus et des onglets dans IntelliJ JetBrains PyCharm, PhpStorm, RubyMine

Je comprends comment augmenter la taille de la police dans un onglet de l'éditeur, mais j'aimerais augmenter la taille de la police du menu de navigation principal et, surtout, les titres des onglets. Ceux-ci ne changent pas lorsque je fais un zoom avant ou arrière sur un onglet de l'éditeur (en utilisant Cmd + molette de la souris sur OSX). Je ne vois rien dans les menus de préférences.

intellij-ideapycharmphpstormjetbrains-ide
36
Superduper
  1. Settings/Preferences
  2. Appearance & Behavior | Appearance
  3. Activer Override default fonts by option - il permettra de changer la police utilisée pour l'interface graphique ainsi que de remplacer sa taille
83
LazyOne