Re: [fr-qa] Pb d'éditeur dans l'IDE LibreOffice

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 à 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