Espace entre les guillemets imbriqués ?

Question

Comment obtenir un petit espace (espace fin ?) entre les deux guillemets d'une paire imbriquée ?

Je m'attendrais à ce que PTXprint génère cela automatiquement, donc y a-t-il peut-être un problème dans le texte lui-même, par exemple l'utilisation du mauvais type de guillemet ?

Traduit automatiquement depuis English Afficher l'original

Answer 1

Je ne suis pas entièrement sûr de ce que fait le code Python, mais (en supposant que les guillemets, lorsqu'ils atteignent la partie XeTeX des choses, sont reconnus comme des marques de citation) et qu'il n'y a pas d'espaces, etc. entre eux, alors il ajoutera \quotekernamount d'espace entre eux. Je ne suis pas entièrement sûr pourquoi, mais le code indique actuellement \quotekernamount=0pt. S'il est de 0pt, alors le seul espacement entre les caractères dépend de l'espacement intégré à la police.

Aussi, je ne vois aucun contrôle dans l'interface utilisateur de PTXprint pour le moment, pas même sur la page des astuces TeXpert. Oups.
Vous pouvez bien sûr aller à l'onglet avancé,

Assurez-vous qu'il y a une coche sur appliquer les paramètres personnalisés,
cliquez sur « Modifier », puis ajoutez une ligne comme celle-ci :

\quotekernamount=0.3ex

(où 1ex est la hauteur d'un x dans la police, vous pouvez bien sûr utiliser une dimension absolue, comme pt ou mm, etc.)

La liste actuelle des guillemets auxquels cela s'applique est la suivante :
U+201C LEFT DOUBLE QUOTATION MARK
U+2018 LEFT SINGLE QUOTATION MARK
U+201D RIGHT DOUBLE QUOTATION MARK
U+2019 RIGHT SINGLE QUOTATION MARK

Idealement, il appliquerait la même logique aux guillemets bas, mais je suppose qu'il ne devrait pas l'appliquer aux mélanges de guillemets hauts et bas.

Traduit automatiquement depuis English Afficher l'original