Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #3645 from Snuffleupagus/presentationMode-fix-search

Browse Source 
Fix searching in presentation mode in Firefox
This commit is contained in:
Brendan Dahl 2013-09-06 08:18:46 -07:00
commit ec52dea70e
2 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
web/text_layer_builder.js
View File

@ -36,6 +36,7 @@ var TextLayerBuilder = function textLayerBuilder(options) {
this.pageIdx = options.pageIndex; this.pageIdx = options.pageIndex;
this.matches = []; this.matches = [];
this.lastScrollSource = options.lastScrollSource; this.lastScrollSource = options.lastScrollSource;
this.isViewerInPresentationMode = options.isViewerInPresentationMode;
if(typeof PDFFindController === 'undefined') { if(typeof PDFFindController === 'undefined') {
window.PDFFindController = null; window.PDFFindController = null;
@ -304,8 +305,9 @@ var TextLayerBuilder = function textLayerBuilder(options) {
var isSelected = isSelectedPage && i === selectedMatchIdx; var isSelected = isSelectedPage && i === selectedMatchIdx;
var highlightSuffix = (isSelected ? ' selected' : ''); var highlightSuffix = (isSelected ? ' selected' : '');
if (isSelected) if (isSelected && !this.isViewerInPresentationMode) {
scrollIntoView(textDivs[begin.divIdx], { top: -50 }); scrollIntoView(textDivs[begin.divIdx], { top: -50 });
}
// Match inside new div. // Match inside new div.
if (!prevEnd || begin.divIdx !== prevEnd.divIdx) { if (!prevEnd || begin.divIdx !== prevEnd.divIdx) {

3
web/viewer.js
View File

@ -1907,7 +1907,8 @@ var PageView = function pageView(container, id, scale,
textLayerDiv ? new TextLayerBuilder({ textLayerDiv ? new TextLayerBuilder({
textLayerDiv: textLayerDiv, textLayerDiv: textLayerDiv,
pageIndex: this.id - 1, pageIndex: this.id - 1,
lastScrollSource: PDFView lastScrollSource: PDFView,
isViewerInPresentationMode: PDFView.isPresentationMode
}) : null; }) : null;
if (outputScale.scaled) { if (outputScale.scaled) {