From 5b86a57c2c97dfc32751d336a9db46033d5813ee Mon Sep 17 00:00:00 2001 From: BigEd Date: Thu, 7 Mar 2019 12:00:52 +0000 Subject: [PATCH] fixup sticky mouse closes #57 thanks --- expertWires.js | 1 + 1 file changed, 1 insertion(+) diff --git a/expertWires.js b/expertWires.js index 6b8ef80..ecf0dbe 100644 --- a/expertWires.js +++ b/expertWires.js @@ -601,6 +601,7 @@ function setupChipLayoutGraphics(){ chipsurround.focus(); chipsurround.onmousedown = function(e){mouseDown(e);}; chipsurround.onkeypress = function(e){handleKey(e);}; + chipsurround.onmouseout = function(e){mouseLeave(e);}; } // utility function to save graphics pan and zoom