mozilla/pdf.js — pull request #2148 by waddlesplash (2012-09-20 23:34:11+00:00)
Title: Add a way for users to set options

As per [MDN:Inline Options](https://developer.mozilla.org/en-US/docs/Extensions/Inline_Options).

This is my first experience with editing both PDF.js and Addons/XUL in general, so please go easy on me and tell me what I did wrong!

Adds an "options" button and a way to localize it.
For now, it only allows you to turn search on or off.

I hope that either I or someone else will use this as a base for fixing #2084.

This feature needs Gecko 7. In the case of an earlier version, the feature will just not show up.