Ctrl + Mouse scroll not working in some cases
I see this problem more often recently in the latest betas, similar to what was previously reported here:
https://forums.zotero.org/discussion/comment/475140
Steps to reproduce:
1) Let the infinite wheel rotate freely to go up until the top of the PDF file
2) Stop it suddenly after it has reached the top
3) Try to zoom with the shortcut Ctrl+Scroll
-> Nothing happens.
There are other cases when I see the problem, but this one seems to be more reliable to reproduce.
Zotero 7.1-beta.7+296edc3fd (64-bit)
Windows 10
https://forums.zotero.org/discussion/comment/475140
Steps to reproduce:
1) Let the infinite wheel rotate freely to go up until the top of the PDF file
2) Stop it suddenly after it has reached the top
3) Try to zoom with the shortcut Ctrl+Scroll
-> Nothing happens.
There are other cases when I see the problem, but this one seems to be more reliable to reproduce.
Zotero 7.1-beta.7+296edc3fd (64-bit)
Windows 10
A) I do not see the problem when opening a PDF in the following link:
https://mozilla.github.io/pdf.js/web/viewer.html
B) I can reproduce in Firefox's integrated PDF.js (file:///[Path to the PDF file on my computer])