Bonjour Jean-François,

Quelle est ta police système ?

De mémoire, il me semble que l'IDE reprend la police système, je ne suis
pas certain que tu puisse le changer au sein de la configuration de LO,
mais tu peux préciser s'il s'agit d'une police proportionnelle ou non,
ainsi que la taille par défaut.

Il y a peut-être du coup un bug entre l'IDE et la police système choisie
par Mint.

Sous Outils > Options > Polices, tu as quoi comme options pour
"Paramétrages de Police pour les Sources HTML, Basic et SQL" ?


Alex




-- 
Envoyez un mail à qa+unsubscr...@fr.libreoffice.org pour vous désinscrire
Les archives de la liste sont disponibles à 
https://listarchives.libreoffice.org/fr/qa/
Privacy Policy: https://www.documentfoundation.org/privacy

Répondre à