From 7619171265f0639b3a09b3b5b5902da009a40dc6 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sat, 10 Aug 2024 12:11:31 +0200
Subject: [PATCH] Stop sidebar resizing on "blur" events

Because of an old oversight (by me) we don't stop sidebar resizing when the browser window loses focus, which seems generally wrong and can also lead to duplicate mouse-related event listeners being registered.
---
 web/pdf_sidebar.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/web/pdf_sidebar.js b/web/pdf_sidebar.js
index fa62ca53e..d2b48aa77 100644
--- a/web/pdf_sidebar.js
+++ b/web/pdf_sidebar.js
@@ -424,6 +424,7 @@ class PDFSidebar {
 
       window.addEventListener("mousemove", this.#mouseMoveBound);
       window.addEventListener("mouseup", this.#mouseUpBound);
+      window.addEventListener("blur", this.#mouseUpBound);
     });
 
     eventBus._on("resize", evt => {
@@ -506,6 +507,7 @@ class PDFSidebar {
 
     window.removeEventListener("mousemove", this.#mouseMoveBound);
     window.removeEventListener("mouseup", this.#mouseUpBound);
+    window.removeEventListener("blur", this.#mouseUpBound);
   }
 }