diff --git a/web/viewer.js b/web/viewer.js index df7e619ba..d3826d77d 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -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) {