Modifier la taille de la police de Visual Studio Solution Explorer


59

Dans Visual Studio (2012 dans mon cas), est-il possible de réduire (ou d'augmenter) la taille de la police de l'explorateur de solutions d'un utilisateur? Je voudrais le diminuer pour économiser un peu d’espace à l’écran.

Réponses:


93
  1. Allez dans Outils-> Options-> Environnement-> Polices et couleurs
  2. Dans "Afficher les paramètres pour", choisissez "Police de l'environnement".
  3. Dans "Police", remplacez Automatique par exemple par Arial et changez la taille.

Modifiez la taille de police de ce paramètre. Toute la taille de la police dans Explorers (Explorateur de solutions, Explorateur de serveurs et Boîte à outils) et les menus seront modifiés.


Cela fonctionne pour moi pendant un certain temps, puis revient à la valeur par défaut Automatic.
vorou

3
Le choix d'une police de caractères compacte vous donne encore plus de place, en particulier sur un écran étroit
drzaus

2
Merci, m'a sauvé beaucoup de temps à chercher cela. Tant de choses peuvent être configurées dans cet IDE, il est facile pour les nouveaux arrivants de se perdre. Revenons maintenant au codage du divan ... ;-)
Jay

5
Quelle est la police par défaut utilisée dans VS? Je veux seulement augmenter la taille, mais garder le type de police.
Légendes le

4
La police Segoe UI semble être la police d'environnement par défaut dans Visual Studio 2017.
jtlowe


-1

Dans mon cas, j’ai eu de très petites polices lors de l’ouverture des fichiers .CS, des petites polices dans Package Manager Console, des petites polices dans la fenêtre Rechercher (ouverte par Ctrl + F), mais d’autres polices (comme les polices pour les fichiers .TS) convenaient parfaitement. J'ai été en mesure de définir une taille de police personnalisée via Outils-> Options-> Environnement-> Polices et couleurs mais je devais définir la taille sur 14 plutôt que sur la valeur par défaut 9, ce qui a aidé l'éditeur .CS, mais a nui à l'éditeur .TS. et il n'a pas modifié la police dans la fenêtre Rechercher.

Dans mon cas, la seule solution consistait à utiliser les fonctionnalités CTRL + molette de la souris pour agrandir les polices. J'ai pu revenir partout aux tailles de police par défaut et la taille de police de ma fenêtre de recherche a également été ajustée.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.