Hello all,
I am using pdftohtml (poppler-0.64.0) with options -xml -fontfullname to extract text with font information. This works perfect, when all fonts have different size. If there are two fonts with same size but of different family, only the first font is reported. Without option -fontfullname, all fonts are reported with family "Times". Any chance to get this fixed? Kind regards Thomas If you are not the addressee, please inform us immediately that you have received this e-mail by mistake, and delete it. We thank you for your support.
_______________________________________________ poppler mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/poppler
