mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Merge pull request #11003 from Snuffleupagus/webViewerWheel-supportedKeys

Browse source 
Ensure that setting the `zoomDisabledTimeout` isn't skipped, regardless of the supported zoom keys, when handling mouse wheel events (PR 7097 follow-up)
This commit is contained in:
Tim van der Meij 2019-07-23 22:28:36 +02:00 • committed by GitHub
commit 9b72089886
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

12
web/app.js
View file

@ -2097,17 +2097,15 @@ function setZoomDisabledTimeout() {
}
function webViewerWheel(evt) {
let pdfViewer = PDFViewerApplication.pdfViewer;
const { pdfViewer, supportedMouseWheelZoomModifierKeys, } =
PDFViewerApplication;
if (pdfViewer.isInPresentationMode) {
return;
}
if (evt.ctrlKey || evt.metaKey) {
let support = PDFViewerApplication.supportedMouseWheelZoomModifierKeys;
if ((evt.ctrlKey && !support.ctrlKey) ||
(evt.metaKey && !support.metaKey)) {
return;
}
if ((evt.ctrlKey && supportedMouseWheelZoomModifierKeys.ctrlKey) ||
(evt.metaKey && supportedMouseWheelZoomModifierKeys.metaKey)) {
// Only zoom the pages, not the entire viewer.
evt.preventDefault();
// NOTE: this check must be placed *after* preventDefault.