L’explorateur de fichiers dans Windows 10 est assez personnalisable. Vous pouvez modifier les icônes de dossier, les icônes de lecteur, ajouter ou supprimer des dossiers des Favoris, afficher ou masquer le ruban, et bien plus encore.
Jusqu’à présent, l’un des problèmes avec l’Explorateur de fichiers et Windows 10 était qu’il n’y avait aucun moyen de modifier la taille de la police de l’Explorateur de fichiers et d’autres zones du système d’exploitation. La seule solution de contournement était de modifier la mise à l’échelle, mais cela a ses problèmes.
Heureusement, à partir de Windows 10 Redstone 5, il existe une option intégrée à Windows 10 pour modifier la taille du texte de toutes les zones, y compris l’Explorateur de fichiers.
Le seul inconvénient de cette nouvelle option est qu’elle ne vous permet pas de modifier la taille de la police uniquement dans l’Explorateur de fichiers. En bref, lorsque vous augmentez ou diminuez la taille du texte de l’Explorateur de fichiers, la nouvelle taille du texte est également appliquée à d’autres zones du système d’exploitation.
Si vous trouvez que la taille de police par défaut utilisée dans l’Explorateur de fichiers et d’autres zones de Windows 10 est légèrement plus petite que ce que vous aimez, vous pouvez la modifier. Voici comment procéder.
Comme mentionné ci-dessus, vous devez exécuter la version 1809 (Redstone 5) ou une version ultérieure de Windows 10 pour modifier la taille de la police de l’explorateur de fichiers.
Étape 1: Ouvrez l’application Paramètres et accédez à Facilité d’accés > Écran.
Étape 2: Sous le Agrandir le texte section, déplacez le curseur vers le côté droit du bord de l’écran pour augmenter la taille du texte.
La zone “Exemple de texte” située juste au-dessus du curseur affiche l’aperçu en temps réel de la nouvelle taille de texte. Si vous êtes satisfait de la nouvelle taille du texte, cliquez sur Postuler
bouton.La bonne chose est que vous n’avez pas besoin de vous déconnecter pour appliquer la modification. La nouvelle taille de police sera appliquée en quelques secondes après avoir cliqué sur le bouton Appliquer.
Vous voudrez peut-être également savoir comment modifier la police par défaut dans l’aide de Windows 10.
