PDF: Hide Read Aloud jump button on pointerleave

Author: AbeJellinek

src/pdf/pdf-view.js

@@ -309,6 +309,8 @@ class PDFView {
 		this._iframeWindow.addEventListener('copy', this._handleCopy.bind(this), true);
 		this._iframeWindow.addEventListener('input', this._handleInput.bind(this));
 
+		this._iframeWindow.document.body.addEventListener('pointerleave', this._handlePointerLeave.bind(this));
+
 		this._dragCanvas = this._iframeWindow.document.createElement('canvas');
 		this._dragCanvas.style.position = 'absolute';
 		this._dragCanvas.style.left = '-100%';
@@ -4070,6 +4072,10 @@ class PDFView {
 		}
 	}
 
+	_handlePointerLeave() {
+		this._readAloudJumpButton.hide();
+	}
+
 	getDragMultiIcon() {
 		let canvas = this._dragCanvas;