|
|
|
@ -3306,7 +3306,8 @@ window.addEventListener('keydown', function keydown(evt) {
@@ -3306,7 +3306,8 @@ window.addEventListener('keydown', function keydown(evt) {
|
|
|
|
|
|
|
|
|
|
// First, handle the key bindings that are independent whether an input
|
|
|
|
|
// control is selected or not.
|
|
|
|
|
if (cmd == 1 || cmd == 8) { // either CTRL or META key.
|
|
|
|
|
if (cmd === 1 || cmd === 8 || cmd === 5 || cmd === 12) { |
|
|
|
|
// either CTRL or META key with optional SHIFT.
|
|
|
|
|
switch (evt.keyCode) { |
|
|
|
|
case 70: |
|
|
|
|
if (!PDFView.supportsIntegratedFind) { |
|
|
|
|