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 #16786 from calixteman/editor_resizers_blur

Browse source 
[Editor] Stop the resize session when the window is blurred
This commit is contained in:
calixteman 2023-08-03 13:47:11 +02:00 • committed by GitHub
commit be29a4dce5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/display/editor/editor.js
View file

@ -464,15 +464,18 @@ class AnnotationEditor {
this._uiManager.stopUndoAccumulation();
this.div.draggable = savedDraggable;
this.parent.div.classList.remove(resizingClassName);
window.removeEventListener("pointerup", pointerUpCallback);
window.removeEventListener("blur", pointerUpCallback);
window.removeEventListener(
"pointermove",
boundResizerPointermove,
pointerMoveOptions
);
};
window.addEventListener("pointerup", pointerUpCallback, {
once: true,
});
window.addEventListener("pointerup", pointerUpCallback);
// If the user switch to another window (with alt+tab), then we end the
// resize session.
window.addEventListener("blur", pointerUpCallback);
}
#resizerPointermove(name, event) {