ZenBrowserMirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/zen-browser/pdf.js.git synced 2025-07-08 09:20:06 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

XFA - Support text search in XFA documents.

Browse source 
Moves the logic out of TextLayerBuilder to handle
highlighting matches into a new separate class `TextHighlighter`
that can be used with regular PDFs and XFA PDFs.

To mimic the current find functionality in XFA, two arrays
from the XFA rendering are created to get the text content
and map those to DOM nodes.

Fixes #13878
This commit is contained in:
Brendan Dahl 2021-08-18 17:02:29 -07:00
parent 3c8ee25e05
commit bb47128864
11 changed files with 531 additions and 238 deletions
Download patch file Download diff file Expand all files Collapse all files

21
web/xfa_layer_builder.js
View file

@ -39,8 +39,9 @@ class XfaLayerBuilder {
/**
* @param {PageViewport} viewport
* @param {string} intent (default value is 'display')
* @returns {Promise<void>} A promise that is resolved when rendering of the
* annotations is complete.
* @returns {Promise<Object | void>} A promise that is resolved when rendering
* of the XFA layer is complete. The first rendering will return an object
* with a `textDivs` property that can be used with the TextHighlighter.
*/
render(viewport, intent = "display") {
if (intent === "print") {
@ -67,7 +68,7 @@ class XfaLayerBuilder {
.getXfa()
.then(xfa => {
if (this._cancelled) {
return;
return Promise.resolve();
}
const parameters = {
viewport: viewport.clone({ dontFlip: true }),
@ -79,15 +80,13 @@ class XfaLayerBuilder {
};
if (this.div) {
XfaLayer.update(parameters);
} else {
// Create an xfa layer div and render the form
this.div = document.createElement("div");
this.pageDiv.appendChild(this.div);
parameters.div = this.div;
XfaLayer.render(parameters);
return XfaLayer.update(parameters);
}
// Create an xfa layer div and render the form
this.div = document.createElement("div");
this.pageDiv.appendChild(this.div);
parameters.div = this.div;
return XfaLayer.render(parameters);
})
.catch(error => {
console.error(error);