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

When the search query changes, regardless of the search command, always re-calculate matches (bug 1030622)

Browse Source 
Fixes https://bugzilla.mozilla.org/show_bug.cgi?id=1030622
This commit is contained in:
Jonas Jenwald 2018-11-05 11:05:42 +01:00
parent 2194aef03e
commit 8afb550218
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
web/pdf_find_controller.js
View File

@ -113,7 +113,7 @@ class PDFFindController {
executeCommand(cmd, state) { executeCommand(cmd, state) {
const pdfDocument = this._pdfDocument; const pdfDocument = this._pdfDocument;
if (this._state === null || this._shouldDirtyMatch(cmd)) { if (this._state === null || this._shouldDirtyMatch(cmd, state)) {
this._dirtyMatch = true; this._dirtyMatch = true;
} }
this._state = state; this._state = state;
@ -198,7 +198,12 @@ class PDFFindController {
return this._normalizedQuery; return this._normalizedQuery;
} }
_shouldDirtyMatch(cmd) { _shouldDirtyMatch(cmd, state) {
// When the search query changes, regardless of the actual search command
// used, always re-calculate matches to avoid errors (fixes bug 1030622).
if (state.query !== this._state.query) {
return true;
}
switch (cmd) { switch (cmd) {
case 'findagain': case 'findagain':
const pageNumber = this._selected.pageIdx + 1; const pageNumber = this._selected.pageIdx + 1;