jean b.
2024-03-20 08:50:33 UTC
Bonjour,
J'utilise Mint Cinnamon depuis plusieurs années, version 21.3 ce
jour, sur trois machines et j'en suis globalement satisfait.
Il se trouve que, depuis la dernière MàJ, le gestionnaire de polices
n'ouvre plus, ni même n'affiche, les polices présentes dans un
dossier, ce qui empêche d'importer ou installer une police nouvelle.
Quelque chose m'échappe... une idée, une piste ?
Merci à vous !
J'utilise Mint Cinnamon depuis plusieurs années, version 21.3 ce
jour, sur trois machines et j'en suis globalement satisfait.
Il se trouve que, depuis la dernière MàJ, le gestionnaire de polices
n'ouvre plus, ni même n'affiche, les polices présentes dans un
dossier, ce qui empêche d'importer ou installer une police nouvelle.
Quelque chose m'échappe... une idée, une piste ?
Merci à vous !
--
jean b.
jean b.