Browse Source

Don't try to highlight anything if the page isn't selected and we aren't highlighting all.

Brendan Dahl 13 years ago
parent
commit
2a1264a746
  1. 3
      web/viewer.js

3
web/viewer.js

@ -2316,6 +2316,9 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv, pageIdx) {
if (highlightAll) { if (highlightAll) {
i0 = 0; i0 = 0;
i1 = matches.length; i1 = matches.length;
} else if(!isSelectedPage) {
// Not highlighting all and this isn't the selected page, so do nothing.
return;
} }
for (i = i0; i < i1; i++) { for (i = i0; i < i1; i++) {

Loading…
Cancel
Save