ClementGre / PDF4Teachers

PDF editing software in large quantities. Designed for teachers, this app keeps recorded previous annotations, and offers features like marking scale, PDF conversion, vectorial drawing...
https://pdf4teachers.org/
Apache License 2.0
140 stars 17 forks source link

Caractères étendus non exportés dans le pdf #130

Closed l-leroux closed 2 years ago

l-leroux commented 2 years ago

Prerequisite

Describe the bug

Bonjour, j'ai ajouté en texte le commentaire suivant : "VV → Organiser son travail personnel R → Respecter les consignes V → Traduire par une figure (précision du tracé, annotation) V → Comprendre l'effet des transformations géométriques" et le caractère "→" a été transformé dans le pdf en "�" Sans doute un problème d'encodage ou de limitation de la bibliothèque intégrant les textes dans le pdf ? Merci pour votre travail !

To Reproduce

Check the console

Elle n'est pas vide, mais ne comporte que 2 erreurs,"error reading image metadata", donc je pense que cela n'a rien à voir...

Edits

versionID: 4 texts: page0:

Screenshots

Sélection_051

Desktop

Linux Mint 20.3

ClementGre commented 2 years ago

Bonjour, si ce caractère ne s'affiche pas correctement après exportation, c'est qu'il n'est pas supporté par la police choisie.

Dans l'application, JavaFX fait automatiquement une substitution avec une police de l'OS qui supporte ce caractère, mais lors de l'exportation, je ne supporte pas la substitution de police.

Essayez donc de changer de police, ça pourrait peut-être régler le problème. Il me semble que vous auriez dû avoir un message d'alerte vous indiquant ce problème.

Je vais essayer de reproduire cela de mon côté.

- Clément

ClementGre commented 2 years ago

Ce caractère est supporté par la police Arial par exemple. Calibri supporte aussi ce caractère. Je veillerais à ajouter une alerte d'information dans la prochaine version, en cas de caractères non supportées.

l-leroux commented 2 years ago

D'accord, merci ! C'est effectivement cette différénce de traitement de l'appli et de l'export qui est troublant. Si on avait directement le problème dans l'appli, on penserait peut-être à changer de police...

ClementGre commented 2 years ago

Il y aura maintenant un message d'erreur lors de l'export d'un caractère non défini dans la police : image

Il serait aussi intéressant de pouvoir changer les polices de tous les éléments textuels du document d'un seul coup.