-
Notifications
You must be signed in to change notification settings - Fork 10.2k
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.
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
Attempt to ignore mouse wheel zooming during tab switches (bug 1503412) #10351
Attempt to ignore mouse wheel zooming during tab switches (bug 1503412) #10351
Conversation
This patch re-factors, and extends, the already existing `zoomDisabledTimeout` used during mouse wheel zooming. Unfortunately I haven't got the required hardware to actually test this patch, but there's a decent chance that it will fix, or at least reduce, the problems reported in https://bugzilla.mozilla.org/show_bug.cgi?id=1503412.
/botio-linux preview |
From: Bot.io (Linux m4)ReceivedCommand cmd_preview from @Snuffleupagus received. Current queue size: 0 Live output at: http://54.67.70.0:8877/8e8098bcbdbfdb4/output.txt |
From: Bot.io (Linux m4)SuccessFull output at http://54.67.70.0:8877/8e8098bcbdbfdb4/output.txt Total script time: 1.60 mins Published |
/botio lint |
From: Bot.io (Linux m4)ReceivedCommand cmd_lint from @timvandermeij received. Current queue size: 0 Live output at: http://54.67.70.0:8877/9ded05bacc9c80f/output.txt |
From: Bot.io (Windows)ReceivedCommand cmd_lint from @timvandermeij received. Current queue size: 0 Live output at: http://54.215.176.217:8877/37568e78602d0c1/output.txt |
From: Bot.io (Linux m4)SuccessFull output at http://54.67.70.0:8877/9ded05bacc9c80f/output.txt Total script time: 0.78 mins
|
From: Bot.io (Windows)SuccessFull output at http://54.215.176.217:8877/37568e78602d0c1/output.txt Total script time: 2.28 mins
|
Looks good! |
This patch re-factors, and extends, the already existing
zoomDisabledTimeout
used during mouse wheel zooming.Unfortunately I haven't got the required hardware to actually test this patch, but there's a decent chance that it will fix, or at least reduce, the problems reported in https://bugzilla.mozilla.org/show_bug.cgi?id=1503412.