Bonjour Alexandre,
merci pour tes questions qui m'ont mis sur la voie !
Le 19/07/2018 à 09:35, Alexander Thurgood a écrit :
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" ?
le choix était celui trouvé habituellement : Automatique
si bien que je n'y prête jamais attention et que même j'avais oublié son
existence...
Après plusieurs essais, j'ai constaté que Liberation Mono est la police
qui pose problème (et c'est peut-être celle prise par défaut). Les
autres polices que j'ai essayées redonnent vie à l'éditeur !
Donc problème résolu. J'ai choisi Source Code Pro et je peux retravailler !
PS: au passage j'ai détecté un léger bug. Lors du changement de police
pour l'IDE, celle utilisée pour la numérotation des lignes n'est pas
actualisée, si bien qu'il y a un décalage entre la numérotation et les
lignes de code. Comme il suffit de supprimer/ajouter la numérotation, je
ne signale pas.
Amicalement,
--
Jean-Francois Nifenecker, Bordeaux
--
Envoyez un mail à [email protected] pour vous désinscrire
Les archives de la liste sont disponibles à
https://listarchives.libreoffice.org/fr/qa/
Privacy Policy: https://www.documentfoundation.org/privacy
