mozilla/pdf.js — pull request #3757 by Snuffleupagus (2013-10-02 11:10:59+00:00)
Title: Move Settings from viewer.js to its own file

This is yet another patch that reduces the size of viewer.js. It's done in two separate commits:
* The first one just moves the code to a new file.
* The second one fixes the coding style (adding braces to single line statements and adding strict equalities).
The comment describing what the code does is also updated somewhat.