+1 On Fri, May 25, 2018 at 10:46 AM, <[email protected]> wrote:
> 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 > >
_______________________________________________ poppler mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/poppler
