Taille de police trop grosse pour les menus d'applications KDE après upgrade
Posté : dim. 26 mars 2023 18:38
Bonjour à tous,
Comment modifier la police de l'environnement KDE sur une installation Cinnamon ?
Le Package Systemsettings est bien installé mais l'onglet "Apparence" est vide. Est-il possible d'installer la configuration des polices ? Et si oui, quel package ?
Sinon, il y a peut-être moyen d'éditer le fichier de config qui va bien, mais lequel ?
Mon problème :
J'ai mis à jour ma distrib 20.3 Cinnamon vers la 21 puis la 21.1.
Depuis toujours, j'utilise KMyMoney qui est une application KDE est j'ai remarqué après cette migration que la taille de police des menus est bien trop grosse. On peut le voir sur la capture suivante : KMM est à l'arrière plan, comparer la police du menu à celle de Nemo au 1er plan.
Changer la police utilisée par l'application n'a aucun impact car il s'agit ici de la police utilisée par KDE qu'il me faudrait donc modifier.
Installer KMyMoney installe quelques composants de KDE mais pas celui qui permettrait de modifier la police.
Merci pour le coup de main !
Comment modifier la police de l'environnement KDE sur une installation Cinnamon ?
Le Package Systemsettings est bien installé mais l'onglet "Apparence" est vide. Est-il possible d'installer la configuration des polices ? Et si oui, quel package ?
Sinon, il y a peut-être moyen d'éditer le fichier de config qui va bien, mais lequel ?
Mon problème :
J'ai mis à jour ma distrib 20.3 Cinnamon vers la 21 puis la 21.1.
Depuis toujours, j'utilise KMyMoney qui est une application KDE est j'ai remarqué après cette migration que la taille de police des menus est bien trop grosse. On peut le voir sur la capture suivante : KMM est à l'arrière plan, comparer la police du menu à celle de Nemo au 1er plan.
Changer la police utilisée par l'application n'a aucun impact car il s'agit ici de la police utilisée par KDE qu'il me faudrait donc modifier.
Installer KMyMoney installe quelques composants de KDE mais pas celui qui permettrait de modifier la police.
Merci pour le coup de main !