[ODE] OpenGL problems

[Martin Magnusson]

I'm having weird problems with OpenGL. It might just be something with 
my drivers, but all other OpenGL apps seem to work OK. Sometimes the 
display of all programs that use drawstuff is extremely slow (about 1 
fps with a maximized window), and the sky texture in the test examples 
just turns out grey. I haven't found a pattern yet - yesterday it worked 
fine, but today everything is slow. The other textures look like they 
should, it's just the sky that's grey. Has anyone else noticed this, or 
is it just something on my end?

/ Martin Magnusson