J'ai un écran HiDPI ce qui fait que les textes affichés sont un peu petits (donc JMPP pour les lire :D j'ai pas trouvé de réglage pour les info-bulles...). La sortie de xdpyinfo indique :
dimensions: 5120x1800 pixels (990x348 millimeters)
resolution: 131x131 dots per inch
Hmmm... Tu voulais probablement dire que tu as un grand écran, mais sûrement pas HiDPI (au passage, c'est HiPPI, le terme que tu cherches, à part si ton écran est en fait une imprimante qui imprime 24 pages par seconde :P).
131 PPI, c'est une densité tout à fait moyenne.
On considère généralement un écran comme haute densité environ à partir des 180 PPI (disons que la valeur basse-basse-basse si vraiment tu veux être le plus inclusif/marketing, c'est 160). GNOME utilise la valeur 192 (i.e. GNOME double toutes les tailles si la densité est au dessus de cette valeur). Et encore, même dans ces zones de densité, c'est considéré peu dense par beaucoup. On a déjà eu des rapports de bug de gens avec des écrans à 200+ PPI qui disaient que les icônes étaient trop grandes!
Ensuite dans ton cas, c'est un écran énorme, voire une télé peut-être, et je me dis que tu la regardes de loin, contrairement à un écran d'ordi sur lequel tu bosses. C'est peut-être pour cela que tu trouves cela petit (et prouve bien d'ailleurs que la densité d'écran ne peut pas être le seul critère pour déterminer si on double/triple ou pas les éléments d'UI (textes, icônes, images, etc.).
Bon ensuite je fais juste mon chieur en pinaillant sur des détails techniques. :P
Film d'animation libre en CC by-sa/Art Libre, fait avec GIMP et autre logiciels libres: ZeMarmot [ http://film.zemarmot.net ]
[^] # Re: chmod ?
Posté par Jehan (site web personnel, Mastodon) . En réponse au journal Zero-K, le jeu de stratégie temps-réel libre. Évalué à 5.
Hmmm... Tu voulais probablement dire que tu as un grand écran, mais sûrement pas HiDPI (au passage, c'est HiPPI, le terme que tu cherches, à part si ton écran est en fait une imprimante qui imprime 24 pages par seconde :P).
131 PPI, c'est une densité tout à fait moyenne.
On considère généralement un écran comme haute densité environ à partir des 180 PPI (disons que la valeur basse-basse-basse si vraiment tu veux être le plus inclusif/marketing, c'est 160). GNOME utilise la valeur 192 (i.e. GNOME double toutes les tailles si la densité est au dessus de cette valeur). Et encore, même dans ces zones de densité, c'est considéré peu dense par beaucoup. On a déjà eu des rapports de bug de gens avec des écrans à 200+ PPI qui disaient que les icônes étaient trop grandes!
Ensuite dans ton cas, c'est un écran énorme, voire une télé peut-être, et je me dis que tu la regardes de loin, contrairement à un écran d'ordi sur lequel tu bosses. C'est peut-être pour cela que tu trouves cela petit (et prouve bien d'ailleurs que la densité d'écran ne peut pas être le seul critère pour déterminer si on double/triple ou pas les éléments d'UI (textes, icônes, images, etc.).
Bon ensuite je fais juste mon chieur en pinaillant sur des détails techniques. :P
Film d'animation libre en CC by-sa/Art Libre, fait avec GIMP et autre logiciels libres: ZeMarmot [ http://film.zemarmot.net ]