+#ifdef WIN32
+ HDC dc=GetDC(window.get_handle());
+
+ PIXELFORMATDESCRIPTOR pfd;
+ memset(&pfd, 0, sizeof(pfd));
+
+ pfd.nSize=sizeof(pfd);
+ pfd.nVersion=1;
+ pfd.dwFlags=PFD_DRAW_TO_WINDOW | PFD_SUPPORT_OPENGL;
+ if(opts.doublebuffer)
+ pfd.dwFlags|=PFD_DOUBLEBUFFER;
+ pfd.iPixelType=PFD_TYPE_RGBA;
+ if(opts.alpha)
+ pfd.cAlphaBits=1;
+ pfd.cDepthBits=1;
+ if(opts.stencil)
+ pfd.cStencilBits=1;
+
+ int pf_index=ChoosePixelFormat(dc, &pfd);
+ if(!pf_index)
+ throw Exception("Couldn't find a suitable pixel format");
+ SetPixelFormat(dc, pf_index, &pfd);
+
+ context=wglCreateContext(dc);
+ wglMakeCurrent(dc, context);
+
+ ReleaseDC(window.get_handle(), dc);
+#else