73 votes

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

Je sais comment augmenter la taille de la police dans un onglet d'éditeur, mais j'aimerais augmenter la taille de la police du menu de navigation principal et, surtout, des titres des onglets. Ces derniers 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 sous OSX). Je ne vois rien dans les menus des préférences.

139voto

LazyOne Points 25070
  1. Settings/Preferences
  2. Appearance & Behavior | Appearance
  3. Activer Override default fonts by option -- elle permettra de changer la police utilisée pour l'interface graphique et de modifier sa taille.

10 votes

En 2018.3, l'option s'appelle "Utiliser une police personnalisée" où vous pouvez définir le style et la taille de la police. Même dialogue de paramétrage... Appearance & Behavior | Appearance

2 votes

Ceci est un rappel pour les futurs moi : il y a une option dans la fenêtre Éditeur > Général > Onglets de l'éditeur appelée "Utiliser de petites polices pour les étiquettes". Si vous décochez cette option, la taille de la police des onglets augmentera, sans avoir à changer toute la police de l'interface utilisateur.

12voto

akoneko47 Points 121

Mise à jour de la version 2019.3

Goto File | Settings | Appearance & Behavior | Appearance

Activer Utiliser une police personnalisée : Tahoma Taille : 12

0 votes

Puis-je changer sa couleur ?

0 votes

@AhmedAbdelhak Aller à Fichier | Paramètres | Editeur | Schéma de couleurs | (PHP,CSS,HTML...)

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

X