mozilla/pdf.js — pull request #1674 by arturadib (2012-05-08 21:24:38+00:00)
Title: Text search with new API, new UI

Replaces #1603. Missing a global (about:config?) enable/disable flag.