the text below as comment: adding a glFinish() here is to prevent Geforce in 'full scene antialias' mode from antialising the Blender window. Officially a swapbuffers does a glFinish itself, so this feels really like a hack... but it won't harm. (ton)