# HG changeset patch
# User reimar
# Date 1102031708 0
# Node ID 00283cb37fd0dcd9e1d6d8a2b014e81b2b031926
# Parent  9b5cfd109fabfb65b33d35c23b4a132693335cbf
Make the context not current before destroying it.

diff -r 9b5cfd109fab -r 00283cb37fd0 libvo/gl_common.c
--- a/libvo/gl_common.c	Thu Dec 02 19:20:14 2004 +0000
+++ b/libvo/gl_common.c	Thu Dec 02 23:55:08 2004 +0000
@@ -271,7 +271,11 @@
     XFree(*vinfo);
   *vinfo = NULL;
   if (*context)
+  {
+    glFinish();
+    glXMakeCurrent(mDisplay, None, NULL);
     glXDestroyContext(mDisplay, *context);
+  }
   *context = 0;
 }
 #endif