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.
Je ne l'ai pas trouvé, pas su chercher (désolé suis w10), pourrais-tu
essayer de le chercher ?
https://josm.openstreetmap.de/query?status=assigned&status=needinfo&status=new&status=reopened&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&col=time&order=priority&report=1
Et faire un ticket si nécessaire ?
Cette page peut-elle t'aider ?
https://josm.openstreetmap.de/wiki/Fr%3AHelp/HiDPISupport
leni
_______________________________________________
Talk-fr mailing list
Talk-fr@openstreetmap.org
https://lists.openstreetmap.org/listinfo/talk-fr
