Beanz/pdf.js
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Trigger a fake scrollend event in case it hasn't been triggered by the browser (bug 1957680)

Browse Source 
This way, it should unblock zooming with ctrl+wheel after scrolling.
This commit is contained in:
Calixte Denizet 2025-08-01 19:06:14 +02:00
parent e5922f2e72
commit 287776483f
1 changed files with 28 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
web/app.js
View File

@ -2227,19 +2227,18 @@ const PDFViewerApplication = {
mainContainer); mainContainer);
} }
let scrollendTimeoutID, scrollAbortController;
const scrollend = () => { const scrollend = () => {
if (typeof PDFJSDev === "undefined" || !PDFJSDev.test("MOZCENTRAL")) { if (typeof PDFJSDev === "undefined" || !PDFJSDev.test("MOZCENTRAL")) {
({ scrollTop: this._lastScrollTop, scrollLeft: this._lastScrollLeft } = ({ scrollTop: this._lastScrollTop, scrollLeft: this._lastScrollLeft } =
mainContainer); mainContainer);
} }
clearTimeout(scrollendTimeoutID);
this._isScrolling = false; if (this._isScrolling) {
mainContainer.addEventListener("scroll", scroll, { scrollAbortController.abort();
passive: true, scrollAbortController = null;
signal, this._isScrolling = false;
}); }
mainContainer.removeEventListener("scrollend", scrollend);
mainContainer.removeEventListener("blur", scrollend);
}; };
const scroll = () => { const scroll = () => {
if (this._isCtrlKeyDown) { if (this._isCtrlKeyDown) {
@ -2253,10 +2252,27 @@ const PDFViewerApplication = {
return; return;
} }
mainContainer.removeEventListener("scroll", scroll); if (!this._isScrolling) {
this._isScrolling = true; scrollAbortController = new AbortController();
mainContainer.addEventListener("scrollend", scrollend, { signal }); const abortSignal = AbortSignal.any([
mainContainer.addEventListener("blur", scrollend, { signal }); scrollAbortController.signal,
signal,
]);
mainContainer.addEventListener("scrollend", scrollend, {
signal: abortSignal,
});
mainContainer.addEventListener("blur", scrollend, {
signal: abortSignal,
});
this._isScrolling = true;
}
clearTimeout(scrollendTimeoutID);
// Why 100 ? Because of:
// https://developer.chrome.com/blog/scrollend-a-new-javascript-event
// Maybe we could find a better value... ideally the `scrollend` event
// should be correctly fired.
scrollendTimeoutID = setTimeout(scrollend, 100);
}; };
mainContainer.addEventListener("scroll", scroll, { mainContainer.addEventListener("scroll", scroll, {
passive: true, passive: true,