mozilla/pdf.js — pull request #941 by notmasteryet (2011-12-15 03:48:04+00:00)
Title: Prototype for text search

The PR implements:
- text extraction;
- search panel;
- finds the page with entered text;

To simplify the whole thing, the spaces are removed and all characters are lower-cased. Also, no result/page rank is calculated.

Does not implement (yet):
- highlighting of the results on the page (requires tapping into the existing text layer)