Make resolution of extracted images configurable

[serovar]

It would be really appreciated, if possible, the addition of a setting to raise the default image quality of the produced OCRed pdf, since the default quality is suboptimal in many instances.

E.g. (Top: Original, Bottom: OCRed version)

[zuphilip]

The first step is to extract the pages from the pdf into png images. There is a resolution parameter there which currently is set to 300dpi:

zotero-ocr/chrome/content/zoteroocr.js

Line 128 in 822f442

yield Zotero.Utilities.Internal.exec(pdftoppm, ['-png', '-r', 300, pdf, dir + '/page']);

It is possible to make this also configurable with a parameter. Then you could try to use e.g. 600 better image quality within the newly created pdf.

Does this sound like it could be a solution for you?

[serovar]

Yes, it would be perfect :)

[stweil]

Related pull request: #41.