src/video/dga/SDL_dgaevents.c
changeset 101 825b2fa28e2e
parent 0 74212992fb08
child 252 e8157fcb3114
     1.1 --- a/src/video/dga/SDL_dgaevents.c	Wed Jul 11 20:18:52 2001 +0000
     1.2 +++ b/src/video/dga/SDL_dgaevents.c	Thu Jul 12 20:42:22 2001 +0000
     1.3 @@ -97,9 +97,11 @@
     1.4  void DGA_PumpEvents(_THIS)
     1.5  {
     1.6  	/* Keep processing pending events */
     1.7 +	LOCK_DISPLAY();
     1.8  	while ( X11_Pending(DGA_Display) ) {
     1.9  		DGA_DispatchEvent(this);
    1.10  	}
    1.11 +	UNLOCK_DISPLAY();
    1.12  }
    1.13  
    1.14  void DGA_InitOSKeymap(_THIS)