Le 01/06/2022 à 19:09, leni a écrit :
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
L'astuce GDK_SCALE=2 donne des polices d'interface trop grande et 1.5 ne
change rien chez moi.
Je vais voir l'astuce de Christian. je ne savais pas qu'une feuille de
style existait.
Je vais creuser quand j'aurai un moment. Pas le temps aujourd'hui.
Merci à vous.
_______________________________________________
Talk-fr mailing list
Talk-fr@openstreetmap.org
https://lists.openstreetmap.org/listinfo/talk-fr
--
Rpnpif
_______________________________________________
Talk-fr mailing list
Talk-fr@openstreetmap.org
https://lists.openstreetmap.org/listinfo/talk-fr
