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();
} };
dirty(0, root.maxheight - Main.scarImage.height, Main.scarImage.width, Main.scarImage.height);
}
root.resize(root.x, root.y, root.maxwidth, root.maxheight);
- root.resize_children();
+ root.place_children();
setSize(root.width, root.height);
- String oldcursor = cursor;
+ /*String oldcursor = cursor;
cursor = "default";
root.putAndTriggerTrapsAndCatchExceptions("_Move", JS.T);
- if (!cursor.equals(oldcursor)) syncCursor();
+ if (!cursor.equals(oldcursor)) syncCursor();*/
} while(abort);
int[][] dirt = dirtyRegions.flush();