[PATCH] wined3d: Avoid superfluous wglSwapIntervalEXT() calls.