diff --git a/web/viewer.js b/web/viewer.js index f7ed8a7aa..80c25aafb 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -247,11 +247,17 @@ var PDFFindController = { // TODO: Handle the other find options here as well. var query = this.state.query; + var caseSensitive = this.state.caseSensitive; var queryLen = query.length; if (queryLen === 0) return []; + if (!caseSensitive) { + pageContent = pageContent.toLowerCase(); + query = query.toLowerCase(); + } + var matches = []; var matchIdx = -queryLen;