Le 01/06/2022 à 16:21, Rpnpif a écrit :
Merci.
Aaaargh, JOSM ne sait toujours pas utiliser un écran HD (140 dpi) sous
Linux Debian. Les polices de caractères y sont souvent beaucoup trop
petites.
Pourtant un rapport de bogue avait été créé il y a longtemps.
Tant pis.
J'ai ajouté une feuille de style hidpi pour gérer ça et ça va pas mal du
tout (Ubuntu 20.04). Je l'ai un peu adaptée à mon goût.
--
Christian Quest - OpenStreetMap France
_______________________________________________
Talk-fr mailing list
Talk-fr@openstreetmap.org
https://lists.openstreetmap.org/listinfo/talk-fr
