Page 1 sur 1

Différence de taille de police de caractères selon PB

Publié : mer. 27/juil./2022 11:05
par SPH
Salut, ☺

selon la version de PB que l'on utilise (ici, pb 5.6 et antérieur contre pb 6.0), la police de caractère des textes est différent. 😏
Pourquoi ?
Peut-on corriger cela ?

Look :
http://xmas.free.fr/polices_carac.jpg

Re: Différence de taille de police de caractères selon PB

Publié : mer. 27/juil./2022 19:13
par G-Rom
la taille est relativement la même , l'espace entre les lignes change, pourquoi ? j'en sais foutre rien. demande à Fred ;)

Re: Différence de taille de police de caractères selon PB

Publié : jeu. 28/juil./2022 9:20
par Mindphazer
Ce n'est pas la même police
A gauche, en PB 6, on dirait du Tahoma
A droite, en PB 5.6 la police est différente (on le voit à la forme des "e")

J'imagine que la police par défaut des gadgets a changé entre PB 5 et PB 6

Pour corriger, à part appliquer une police spécifique à tous tes gadgets, je ne vois pas trop

Re: Différence de taille de police de caractères selon PB

Publié : jeu. 28/juil./2022 9:26
par SPH
Ok merci.

De toute façon, j'ai corrigé mon code pour l'adapter a PB6.0
Ca corrige un bug en plus; donc, je suis ravis...

:wink: