mozilla/pdf.js — pull request #980 by saebekassebil (2011-12-25 21:24:32+00:00)
Title: Fixes shortcuts steals from browser - Issue #979

As the title says, this simple pull request resolves issue #979, which is about the fact that our shortcut keys as they're implemented now steals the browser shortcut combinations like Ctrl+k to get to the search field and Ctrl+j to get downloads.

Maybe we should think of making a lightweight API for creating keyboard shortcuts. I've done something similar before and it's not really any problem. This would our way of settings shortcuts more "specific" instead of the switch statement we use now.