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+unsubscribe@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
Context
   
 
  Privacy Policy |
  
Impressum (Legal Info) |
  
Copyright information: Unless otherwise specified, all text and images
  on this website are licensed under the
  
Creative Commons Attribution-Share Alike 3.0 License.
  This does not include the source code of LibreOffice, which is
  licensed under the Mozilla Public License (
MPLv2).
  "LibreOffice" and "The Document Foundation" are
  registered trademarks of their corresponding registered owners or are
  in actual use as trademarks in one or more countries. Their respective
  logos and icons are also subject to international copyright laws. Use
  thereof is explained in our 
trademark policy.