Paramètres de police avancés pour Google Chrome
- Catégorie: Google Chrome
Paramètres de police avancés est une extension de navigateur gratuite pour le navigateur Web Google Chrome qui vous donne plus de contrôle sur les polices sur les sites.
Google Chrome vous donne un certain contrôle sur les polices dans les paramètres du navigateur. Vous pouvez modifier la taille de police par défaut et le niveau de zoom de la page, et personnaliser les types de polices suivants en cliquant sur le bouton Personnaliser la police qui ouvre cette page chrome: // paramètres / polices dans le navigateur:
- Police et taille standard. Par défaut: Times New Roman sous Windows.
- Police Serif. Times New Roman par défaut sous Windows.
- Police sans empattement. Arial par défaut sous Windows.
- Police à largeur fixe. Consolas par défaut sous Windows.
- Taille de police minimale. Par défaut Tiny sur Windows.
Paramètres de police avancés pour Google Chrome
Les principales fonctionnalités que les paramètres de police avancés ajoutent à Google Chromes sont les paramètres de police personnalisés par script et les options permettant de modifier la taille de police par défaut pour les polices à largeur fixe.
Les paramètres de police que vous définissez dans les options de l'extension sont utilisés lorsque ce qui suit est vrai:
- La page Web n'a pas spécifié de police propre.
- La page Web a correctement déclaré la langue du contenu.
Il convient de noter que la fonction par script de l'extension signifie que les paramètres d'un seul script peuvent inclure plusieurs langues. C'est par exemple le cas du cyrillique ou du latin.
Néanmoins, l'option permettant de sélectionner différentes polices et valeurs pour le script vous permet de personnaliser l'utilisation des polices sur le Web de manière majeure. Vous pouvez par exemple définir différentes polices pour le japonais et le chinois simplifié.
L'utilisation de l'extension est facile. Tout ce que vous avez à faire est d'ouvrir les options de l'extension. Vous faites cela avec un clic droit sur l'icône qu'il ajoute à la barre d'outils Chrome lors de l'installation, ou en utilisant le gestionnaire d'extensions de Chrome.
Sélectionnez un script pour lequel vous souhaitez personnaliser les polices sur la page qui s'ouvre et modifiez les polices comme bon vous semble. Comme mentionné précédemment, l'extension vous permet de modifier la taille des polices à largeur fixe, ce que Chrome ne prend pas en charge par défaut.
Une fois que vous avez terminé, cliquez sur le bouton «Appliquer les paramètres» pour enregistrer les modifications. Vous pouvez également réinitialiser les paramètres de scripts individuels ou de tous les scripts sur la page des options. Cela peut être utile si vous rencontrez des problèmes après la personnalisation des polices dans le navigateur Web Chrome.
Mots de clôture
Les paramètres de police avancés sont officiellement approuvés par Google en tant que lien des paramètres de police du navigateur vers l'extension dans le Chrome Web Store. L'extension ne nécessite aucune autorisation supplémentaire, ce qui est un autre avantage.
C'est utile si vous souhaitez plus de contrôle sur l'affichage des polices dans Chrome.
Maintenant, c'est à votre tour : Utilisez-vous des paramètres de police personnalisés dans votre navigateur?