Je n'avais pas pensé à le lancer comme commande car la plupart des applis graphiques ne fonctionnent pas dans ce mode.
J'ai eu la surprise que font-manager se lançait dans une présentation dépouillée mais tout à fait utilisable. Merci.
Il émet dans le terminal de façon répétée (avec des numéros différents) plusieurs messages gtk :
Code : Tout sélectionner
(font-manager:124462): Gtk-WARNING **: 08:55:46.390: Theme parsing error: gtk.css:450:53: Using one color stop with linear-gradient() is deprecated.
(font-manager:124462): Gtk-WARNING **: 08:55:46.919: Theme parsing error: gtk.css:594:18: '-gtk-icon-filter' is not a valid property name
(font-manager:124462): Gtk-WARNING **: 08:55:46.927: Theme parsing error: gtk.css:5224:35: 'linear-gradient' is not a valid color name
(font-manager:206556): Gtk-WARNING **: 09:04:56.806: Theme parsing error: gtk.css:5899:20: Not a valid image
Je considère le problème comme provisoirement résolu en attendant une éventuelle mise à jour de l'interface.
Je connaissais les répertoires de polices mais j'avais oublié la commande de mise à jours du cache. Je prends note.
Cyrille a écrit :Ensuite pas réellement utile, tu peux aussi ajouter tes polices à la main
Je trouve quand même que Font Manager est bien pratique en regroupant commodément plusieurs fonctions : invalidation/validation de polices, classement, propriétés et visualisation.
Quoique pour la visualisation, évidemment la phrase type est limitée (apparemment on ne peut pas la remplacer par un échantillonnage de caractères de différents groupes Unicode) et gucharmap est bien plus complet sur ce point.
Je trouve par ailleurs qu'une catégorisation des polices (par styles) dans les menus des applis comme LibreOffice serait bien plus pratique que la longue liste actuelle.
