Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ensure that setting the zoomDisabledTimeout isn't skipped, regardless of the supported zoom keys, when handling mouse wheel events (PR 7097 follow-up) #11003

Merged
merged 1 commit into from
Jul 23, 2019
Merged

Ensure that setting the zoomDisabledTimeout isn't skipped, regardless of the supported zoom keys, when handling mouse wheel events (PR 7097 follow-up) #11003

merged 1 commit into from
Jul 23, 2019

Commits on Jul 23, 2019

  1. Ensure that setting the zoomDisabledTimeout isn't skipped, regardle… 

    …ss of the supported zoom keys, when handling mouse wheel events (PR 7097 follow-up)

*Possible follow-up:* It probably wouldn't hurt to try and shorten the `supportedMouseWheelZoomModifierKeys` name a bit, but I'm not attempting that here since it'd also require updating `PdfStreamConverter.jsm` in mozilla-central in order to be consistent.
    @Snuffleupagus
    Snuffleupagus committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    1eed5b7 View commit details
    Browse the repository at this point in the history