diff --git a/web/pdf_find_bar.js b/web/pdf_find_bar.js index 7fddd5d8f..ffcbef719 100644 --- a/web/pdf_find_bar.js +++ b/web/pdf_find_bar.js @@ -83,6 +83,10 @@ var PDFFindBar = (function PDFFindBarClosure() { } PDFFindBar.prototype = { + reset: function PDFFindBar_reset() { + this.updateUIState(); + }, + dispatchEvent: function PDFFindBar_dispatchEvent(type, findPrev) { var event = document.createEvent('CustomEvent'); event.initCustomEvent('find' + type, true, true, { diff --git a/web/viewer.js b/web/viewer.js index ee248cc2e..f2567fcae 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -527,6 +527,7 @@ var PDFViewerApplication = { } this.findController.reset(); + this.findBar.reset(); if (typeof PDFBug !== 'undefined') { PDFBug.cleanup();