event.c
changeset 745 cf432071e646
parent 734 6283adb1fcf2
child 746 54e12eb664fc
equal deleted inserted replaced
744:628c5bac7f3b 745:cf432071e646
    80 	for(;;) {
    80 	for(;;) {
    81 		XMaskEvent(dpy, MOUSEMASK | ExposureMask | SubstructureRedirectMask , &ev);
    81 		XMaskEvent(dpy, MOUSEMASK | ExposureMask | SubstructureRedirectMask , &ev);
    82 		switch(ev.type) {
    82 		switch(ev.type) {
    83 		case ButtonRelease:
    83 		case ButtonRelease:
    84 			resize(c, True);
    84 			resize(c, True);
       
    85 			XWarpPointer(dpy, None, c->win, 0, 0, 0, 0,
       
    86 					c->w + c->border - 1, c->h + c->border - 1);
    85 			XUngrabPointer(dpy, CurrentTime);
    87 			XUngrabPointer(dpy, CurrentTime);
    86 			return;
    88 			return;
    87 		case ConfigureRequest:
    89 		case ConfigureRequest:
    88 		case Expose:
    90 		case Expose:
    89 		case MapRequest:
    91 		case MapRequest: