Summary: | Don't substitute font names [patch included] | ||
---|---|---|---|
Product: | poppler | Reporter: | Luis Parravicini <lparravi> |
Component: | pdftohtml | Assignee: | poppler-bugs <poppler-bugs> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | enhancement | ||
Priority: | medium | ||
Version: | unspecified | ||
Hardware: | Other | ||
OS: | All | ||
See Also: | https://bugs.freedesktop.org/show_bug.cgi?id=34057 | ||
Whiteboard: | |||
i915 platform: | i915 features: | ||
Attachments: | Patch to output font full name |
The patch is against 0.20.0 Commited, will be in poppler 0.22 |
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.
Created attachment 61558 [details] Patch to output font full name When generating html/xml from a pdf, the font name is substituted using the 'font' array in utils/HtmlFonts.cc and using 'Times' as default if the font is not found on that array. As I need the font name as is in the pdf, I've written a patch to support that. You might find it useful too (or not!). The patch provided adds a new command line option to pdftohtml, "-fontfullname", which outputs the font name without any substitutions. This is done for both html and xml. I don't know how if this makes sense in the case of html, but it would be trivial to change that. With this patch, issue 34057 can be resolved.