mozilla/pdf.js — pull request #4088 by Rob--W (2014-01-08 11:03:27+00:00)
Title: Allow hand tool toggle button to be optional

Supersedes PR #4085