Nous avons travaillé à l'amélioration de la prise en compte de certaines polices avec un encodage bizarre. En effet, plusieurs cas nous ont été signalés où les caractères musicaux apparaissent dans les lecteurs de PDF classiques, mais pas dans PDFtoMusic. Les encodages des caractères et de leurs glyphes associés étant extrèmement complexe en PostScript (et donc dans les PDF), nous avons essayé de traiter tout cela plus correctement. Mais il nous faut maintenant tester l'innocuité de ces modifications sur les fichiers qui se traitaient bien auparavant. Cela nécessite de faire passer un traitement par lot sur plusieurs milliers d'entre eux et de vérifier que tout continue à fonctionner. |