Le chemin des paramètres est Tools / Options / Environment / Fonts and Colors /
Enrivonment
/ Font
. Je parle de l'environnement que j'ai souligné en gras dans le chemin des paramètres.
Remarquez comment il ne vous dit pas quelle est la police par défaut; il dit simplement Automatic
. Et la taille de police est désactivée jusqu'à ce que vous choisissiez une police spécifique.
Si je veux changer la taille de la police, cela me fait d'abord choisir la police. Mais je n'ai aucune raison de changer la police, juste la taille de la police. Soo, quelle est la police d'environnement par défaut?
C'est probablement le même que dans Visual Studio 2015, qui le masque également.
Il s'est avéré être Leelawadee UI
pour Windows 10 Professionnel.
Pour les autres versions du système d'exploitation, vous pouvez mettre l'accent sur la liste déroulante des polices et les flèches haut et bas, ou appuyer sur la première lettre de la police, ou appuyer sur Home pour revenir à Automatique (la première option déroulante). Ainsi, vous pouvez garder un œil sur la fenêtre exemple pour déterminer la police par défaut. Si vous utilisez une police, appuyez sur le Home et l'exemple ne change pas (même un peu), c'est votre police par défaut. Veuillez laisser un commentaire si vous en trouvez un!