From 6022476f036b4829a9b91c02ee988f2bf2f94bd2 Mon Sep 17 00:00:00 2001 From: Artur Adib Date: Wed, 26 Sep 2012 12:14:57 -0400 Subject: [PATCH] add support for case sensitive --- web/viewer.js | 6 ++++++ 1 file changed, 6 insertions(+) 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;