diff -ur ../SDL-1.2.11/src/video/SDL_video.c SDL-1.2.11/src/video/SDL_video.c
--- ../SDL-1.2.11/src/video/SDL_video.c	2006-05-01 10:02:48.000000000 +0200
+++ SDL-1.2.11/src/video/SDL_video.c	2007-05-16 11:11:04.000000000 +0200
@@ -1513,6 +1513,9 @@
 	SDL_VideoDevice *this = current_video;
 
 	if ( video->screen->flags & SDL_OPENGL ) {
+        // smoother UI in defcon:
+        glFinish();
+
 		video->GL_SwapBuffers(this);
 	} else {
 		SDL_SetError("OpenGL video mode has not been set");
