mozilla/pdf.js — pull request #3941 by Snuffleupagus (2013-11-19 11:51:45+00:00)
Title: Begin searching from current page

This patch changes the behaviour when the user searches in the document.
Currently searching always starts at the first page. With this patch, searching instead begins at the currently active page.

Fixes #3935.