je change la résolution et ça change la taille des polices au démarrage
Là dessus je suis d'accord, c'est un gros gros bug. Kevin, tu as paraît-il des contacts dans l'équipe de développement de KDE. Il faudrait remonter ça.
Je vais te répondre pour lui : "les formulaires de report de bogues, c'est pas fait pour les chiens !"