(e: MouseEvent)
| 50 | window.removeEventListener("mousemove", onMouseMove); |
| 51 | }; |
| 52 | const onMouseMove = (e: MouseEvent) => { |
| 53 | const delta = new Vector(e.clientX, e.clientY).subtract(start); |
| 54 | const newRect = win.rect.translate(delta); |
| 55 | SubWindow.update(win.id, { rect: newRect }); |
| 56 | }; |
| 57 | window.addEventListener("mouseup", onMouseUp); |
| 58 | window.addEventListener("mousemove", onMouseMove); |
| 59 | }} |