From dabad63099853cd6299d194d4f5921bb4d7cba84 Mon Sep 17 00:00:00 2001
From: Michael Singer <michael@a-singer.de>
Date: Thu, 20 Nov 2025 14:03:35 +0100
Subject: [PATCH] Add missing mouseLeave handler

This fixes the issue that when the user moves the mouse out of the
drawing area while the mouse button is pressed, the mouseUp event
doesn't get called and mouseMove stays on even when the button isn't
pressed anymore.
---
 expertWires.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/expertWires.js b/expertWires.js
index fcbf71d..774fe26 100644
--- a/expertWires.js
+++ b/expertWires.js
@@ -320,6 +320,11 @@ function mouseUp(e){
 	chipsurround.onmouseup = undefined;
 }
 
+function mouseLeave(e){
+	chipsurround.onmousemove = undefined;
+	chipsurround.onmouseup = undefined;
+}
+
 function setZoom(n){
 	zoom = n;
 	setChipStyle({