void EZ_WarpPointer(int x, int y); void EZ_WarpPointerToWidgetWindow(EZ_Widget *wgt, int where);
HTML Documentation Maintainance:Arturo Espinosa <arturo@nuclecu.unam.mx>