Les bordures dans l'interface sont plus petites au lieu d'être plus jolies, certains widgets s'affichent mal, etc.
Ça ne serait pas plutôt un problème de l'ordre du thème visuel ça? Quand les bordures sont trop petites, je change le thème, avec des bordures plus grosses, par exemple. Enfin, si ça se trouve, on avait déjà la solution. Je reconnais, tripatouiller un thème GTK n'est pas forcément chose facile (j'ai essayé, j'ai eu mal au crâne). Alors, justement, pourquoi pas simplifier la personnalisation des thèmes?
[^] # Re: Gestion des écrans à haut DPI
Posté par FantastIX . En réponse à la dépêche Sortie de Plasma 5.0. Évalué à 2.
Ça ne serait pas plutôt un problème de l'ordre du thème visuel ça? Quand les bordures sont trop petites, je change le thème, avec des bordures plus grosses, par exemple. Enfin, si ça se trouve, on avait déjà la solution. Je reconnais, tripatouiller un thème GTK n'est pas forcément chose facile (j'ai essayé, j'ai eu mal au crâne). Alors, justement, pourquoi pas simplifier la personnalisation des thèmes?