FontManager, gestionnaire de polices de caractères
Rédigé par Walter Polo
Aucun commentaire
Classé dans : Miettes de libre
Diverses polices de caractères sont livrées avec votre système et leur nombre peut être
conséquent.
Ce nombre continue en général de croître au fil d'ajouts de polices par
des applications ou par vous-même. Disposer d'un utilitaire qui nous permet
de faire de temps à autre le ménage dans notre catalogue de polices
installées n'est pas un luxe. Font Manager, destiné aux utilisateurs non
aguerris, fait très bien le boulot.
FontManager propose trois grands groupes d'actions : gérer les
polices, explorer le catalogue des polices et comparer des polices.
Seule la gestion des polices m'intéresse ici.
FontManager
permet bien sûr d'installer ou de désinstaller facilement des polices. Mais il
permet aussi et surtout de limiter la liste des polices disponibles pour les applications. Cela se fait par une simple action d'activation ou désactivation
(case à cocher). Ainsi, si votre liste de polices est surencombrée, vous pouvez l'alléger sans avoir besoin de désinstaller des polices dont vous pourriez avoir besoin à l'occasion. Pour que ces polices "occasionnelles" soient à nouveau disponibles dans la liste des polices d'une application, il vous suffira de les réactiver.
Le regroupement des polices en catégories est un autre aspect particulièrement pratique de FontManager. Les catégories sont prédéfinies par FontManager, mais il est aussi possible de créer dans un onglet distinct ses propres catégories (alors nommées "Collections"). On peut ainsi savoir en un coup d’œil le nombre de polices installées (catégorie All) et différencier celles qui relèvent
du système (System) de celles qui relèvent de l'utilisateur (User). D'autres catégories proposent un regroupement
par caractéristiques des polices, par licence, etc. Tout au bas, la catégorie disabled, permet de vérifier quelles sont les polices désactivées.
Ressources