int oldmousex = mousex; mousex = newmousex;
int oldmousey = mousey; mousey = newmousey;
String oldcursor = cursor; cursor = "default";
int oldmousex = mousex; mousex = newmousex;
int oldmousey = mousey; mousey = newmousey;
String oldcursor = cursor; cursor = "default";
- // Root gets motion events outside itself (if trapped)
- if (!root.inside(oldmousex, oldmousey) && !root.inside(mousex, mousey) && (button1 || button2 || button3))
+ // FIXME: Root (ONLY) gets motion events outside itself (if trapped)
+ if (oldmousex != mousex || oldmousey != mousey)
root.putAndTriggerTrapsAndCatchExceptions("_Move", T);
if (!cursor.equals(oldcursor)) syncCursor();
} };
root.putAndTriggerTrapsAndCatchExceptions("_Move", T);
if (!cursor.equals(oldcursor)) syncCursor();
} };
root.resize(root.x, root.y, root.maxwidth, root.maxheight);
root.place_children();
setSize(root.width, root.height);
root.resize(root.x, root.y, root.maxwidth, root.maxheight);
root.place_children();
setSize(root.width, root.height);