Fixed small bug: widget inside child window wasn't told that the mouse left when the mouse went into another child window