Merci pour ta réponse.
Entre temps, j'ai downgradé car c'était vraiment impossible de bosser comme ça ! 🙁
Je n'ai donc plus accès au n° de version dans l'à propos. Mais un coup de
yum history info me donne ceci :
Paquets modifiés :
Retour à la version précédente kate-4.11.3-2.fc20.x86_64 @fedora
Rétrogradé 4.13.3-1.fc20.x86_64 @updates
Retour à la version précédente kate-libs-4.11.3-2.fc20.x86_64 @fedora
Rétrogradé 4.13.3-1.fc20.x86_64 @updates
Retour à la version précédente kate-part-4.11.3-2.fc20.x86_64 @fedora
Rétrogradé 4.13.3-1.fc20.x86_64 @updates
J'avais donc bien la 4.13.3-1 apparemment, et c'est celle qui pose problème.