add support for case sensitive

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;