Est-il possible de changer la police de texte par défaut de Windows (Pour le nom du dossier et les détails en dessous du minimum par défaut)?
Oui, vous pouvez le faire avec un tweak de registre. Accédez à cette clé:
HKEY_CURRENT_USER\Control Panel\Desktop\WindowMetrics
La IconFontvaleur détermine la police et la taille de la plupart des textes. Les quatre premiers octets stockent la taille. Par défaut, il s'agit de 9 (l'inverse binaire de la somme de 2 et F4 FF FF FF). Plus ces octets sont gros, plus la taille de la police est petite. Par exemple, pour que la taille de la police soit de 4, remplacez F4par, F9en positionnant votre curseur avant F9, en appuyant sur Supprimer et en tapant F4. Déconnectez-vous puis reconnectez-vous pour que les modifications prennent effet. Vous pouvez obtenir un très petit texte:
Les autres valeurs de cette clé ont le même format. Pour plus d'informations sur les différentes valeurs, voir mon autre réponse à propos de cette clé .