|
@@ -84,6 +84,7 @@ class Window {
|
|
|
|
|
|
element.addEventListener("mousedown", onMouseDown);
|
|
|
element.addEventListener("mouseup", onMouseUp);
|
|
|
+ element.addEventListener("mouseleave", onMouseLeave);
|
|
|
element.addEventListener("wheel", onMouseWheel);
|
|
|
element.addEventListener("touchstart", onTouchStart);
|
|
|
element.addEventListener("touchmove", onTouchMove);
|
|
@@ -277,6 +278,16 @@ class Window {
|
|
|
event(ev);
|
|
|
}
|
|
|
|
|
|
+ function onMouseLeave(e:js.html.MouseEvent) {
|
|
|
+ var ev = new Event(EReleaseOutside, mouseX, mouseY);
|
|
|
+ ev.button = switch( e.button ) {
|
|
|
+ case 1: 2;
|
|
|
+ case 2: 1;
|
|
|
+ case x: x;
|
|
|
+ };
|
|
|
+ event(ev);
|
|
|
+ }
|
|
|
+
|
|
|
function onMouseMove(e:js.html.MouseEvent) {
|
|
|
if (mouseLock) {
|
|
|
curMouseX += e.movementX;
|